iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/joc/KemmererMM94.nt
.
.
.
.
"Richard A. Kemmerer et al.: Three System for Cryptographic Protocol Analysis. (1994)" .
.
_:ID_c135d2839d1903d2d3de5257810f4a11 . _:ID_c135d2839d1903d2d3de5257810f4a11
. _:ID_c135d2839d1903d2d3de5257810f4a11
. _:ID_c135d2839d1903d2d3de5257810f4a11
. _:ID_c135d2839d1903d2d3de5257810f4a11
"journals/joc/KemmererMM94" .
_:ID_c8e2f1ed122fc29559606dae590b552d . _:ID_c8e2f1ed122fc29559606dae590b552d
. _:ID_c8e2f1ed122fc29559606dae590b552d
. _:ID_c8e2f1ed122fc29559606dae590b552d
. _:ID_c8e2f1ed122fc29559606dae590b552d
"10.1007/BF00197942" .
"Three System for Cryptographic Protocol Analysis." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_73c37de5832b758e866bfdb96721bbcd_1 . _:Sig_73c37de5832b758e866bfdb96721bbcd_1
. _:Sig_73c37de5832b758e866bfdb96721bbcd_1
. _:Sig_73c37de5832b758e866bfdb96721bbcd_1
"Richard A. Kemmerer" . _:Sig_73c37de5832b758e866bfdb96721bbcd_1
. _:Sig_73c37de5832b758e866bfdb96721bbcd_1
"1"^^
. _:Sig_73c37de5832b758e866bfdb96721bbcd_1
.
_:Sig_73c37de5832b758e866bfdb96721bbcd_2 . _:Sig_73c37de5832b758e866bfdb96721bbcd_2
. _:Sig_73c37de5832b758e866bfdb96721bbcd_2
. _:Sig_73c37de5832b758e866bfdb96721bbcd_2
"Catherine Meadows 0001" . _:Sig_73c37de5832b758e866bfdb96721bbcd_2
. _:Sig_73c37de5832b758e866bfdb96721bbcd_2
"2"^^
. _:Sig_73c37de5832b758e866bfdb96721bbcd_2
.
_:Sig_73c37de5832b758e866bfdb96721bbcd_3 . _:Sig_73c37de5832b758e866bfdb96721bbcd_3
. _:Sig_73c37de5832b758e866bfdb96721bbcd_3
. _:Sig_73c37de5832b758e866bfdb96721bbcd_3
"Jonathan K. Millen" . _:Sig_73c37de5832b758e866bfdb96721bbcd_3
. _:Sig_73c37de5832b758e866bfdb96721bbcd_3
"3"^^
. _:Sig_73c37de5832b758e866bfdb96721bbcd_3
.
.
.
.
.
"79-130" .
"J. Cryptol." .
"J. Cryptol." .
"7" .
"2" .
"1994"^^
.
"provenance information for RDF data of dblp record 'journals/joc/KemmererMM94'" .
.
.
.
"2023-09-19T14:44:33+0200" .
