*001333500
*00520250613134847.0
*007ta
*008070724s1993    no            000 u eng
*00900858cam a2200253 c 4500
*019  $bl
*020  $a8242302596
*035  $a(EXLNZ-47BIBSYS_NETWORK)999322014824702201
*035  $a(NO-LaBS)15099331(bibid)
*035  $a(NO-TrBIB)932201482
*035  $a932201482-47bibsys_network
*040  $aNO-OsNB$bnob$ekatreg
*080  $a003.26
*1001 $aHeide, Christian F.$0(NO-TrBIB)90401744$_26752300
*24512$aA framework for formal analysis of two classes of public key protocols$cby Christian F. Heide
*260  $aKjeller$bTeleverkets forskningsinstitutt$c[1993]
*300  $a31 s.
*4901 $aRapport / Televerkets forskningsinstitutt$vTF R 26/93
*588  $aKatalogisert etter omslag
*650 7$aKryptografi$2tekord$9nno$_189103200
*653  $aKryptografi$9nno$_18337000
*830 0$aTF-rapport (trykt utg.)$x1500-2608$vTF R 26/93$w998711622534702201$_13459600
*901  $a80
*999  $aoai:nb.bibsys.no:999322014824702202$b2021-11-14T20:12:02Z$z999322014824702202
^