iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/csfw/ChakiD09.nt
.
.
.
.
"Sagar Chaki and Anupam Datta: ASPIER: An Automated Framework for Verifying Security Protocol Implementations. (2009)" .
.
_:ID_7648adc65e272257c3f270f491deadd8 . _:ID_7648adc65e272257c3f270f491deadd8
. _:ID_7648adc65e272257c3f270f491deadd8
. _:ID_7648adc65e272257c3f270f491deadd8
. _:ID_7648adc65e272257c3f270f491deadd8
"conf/csfw/ChakiD09" .
_:ID_182c9a163c284e543e4bb3ba603e476c . _:ID_182c9a163c284e543e4bb3ba603e476c
. _:ID_182c9a163c284e543e4bb3ba603e476c
. _:ID_182c9a163c284e543e4bb3ba603e476c
. _:ID_182c9a163c284e543e4bb3ba603e476c
"10.1109/CSF.2009.20" .
"ASPIER: An Automated Framework for Verifying Security Protocol Implementations." .
.
.
.
.
.
"2"^^
.
_:Sig_8cbcc583ade0a79bda6688b1e198331c_1 . _:Sig_8cbcc583ade0a79bda6688b1e198331c_1
. _:Sig_8cbcc583ade0a79bda6688b1e198331c_1
. _:Sig_8cbcc583ade0a79bda6688b1e198331c_1
"Sagar Chaki" . _:Sig_8cbcc583ade0a79bda6688b1e198331c_1
. _:Sig_8cbcc583ade0a79bda6688b1e198331c_1
"1"^^
. _:Sig_8cbcc583ade0a79bda6688b1e198331c_1
.
_:Sig_8cbcc583ade0a79bda6688b1e198331c_2 . _:Sig_8cbcc583ade0a79bda6688b1e198331c_2
. _:Sig_8cbcc583ade0a79bda6688b1e198331c_2
. _:Sig_8cbcc583ade0a79bda6688b1e198331c_2
"Anupam Datta" . _:Sig_8cbcc583ade0a79bda6688b1e198331c_2
. _:Sig_8cbcc583ade0a79bda6688b1e198331c_2
"2"^^
. _:Sig_8cbcc583ade0a79bda6688b1e198331c_2
.
.
.
.
.
.
"172-185" .
"CSF" .
"CSF" .
"2009"^^
.
"2009"^^
.
.
"provenance information for RDF data of dblp record 'conf/csfw/ChakiD09'" .
.
.
.
"2023-03-24T00:04:59+0100" .
