*001408348
*00520250613104243.0
*007ta
*008100702s2003    gw            100 u eng d
*00902334cam a2200505 c 4500
*019  $bl
*020  $a3540206930$qh.
*035  $a(EXLNZ-47BIBSYS_NETWORK)990400599794702201
*035  $a(NO-LaBS)14950655(bibid)
*035  $a(NO-TrBIB)040059979
*035  $a040059979-47bibsys_network
*040  $aNO-TrBIB$bnob$ekatreg
*080  $a004.6.056
*084  $aC.2.2$2acmccs
*084  $aD.2.4$2acmccs
*084  $aD.4.6$2acmccs
*084  $aK.6.5$2acmccs
*1112 $aFASec 2002$0(NO-TrBIB)4021790$_69486600
*24510$aFormal aspects of security :$bfirst international conference, FASec 2002, London, UK, December 16-18, 2002 : revised papers$cAli E. Abdallah, Peter Ryan, Steve Schneider (eds.)
*260  $aBerlin$bSpringer$cc2003
*300  $aX, 238 s.$bill.
*4901 $aLecture notes in computer science$v2629
*650 0$aComputer security$_10202500
*650 0$aFormal methods (Computer science)$_26915400
*650 7$aAutentisering$0(NO-TrBIB)REAL005159$2noubomn$_203799700
*650 7$aDatasikkerhet$2tekord$9nob$vKongresser$_187404500
*650 7$aKommunikasjonsprotokoller$0(NO-TrBIB)REAL012226$2noubomn$_203914500
*650 7$aProtokollverifikasjon$0(NO-TrBIB)REAL002741$2noubomn$_222905300
*650 7$aSikkerhet$0(NO-TrBIB)REAL011075$2noubomn$_185572800
*650 7$aVerifikasjon$0(NO-TrBIB)REAL006891$2noubomn$_206569700
*653  $aformelle$ametoder$_26759400
*7001 $aAbdallah, Ali E.$0(NO-TrBIB)4021789$_69486800
*7001 $aRyan, Peter$d1957-$0(NO-TrBIB)4029338$_280514800
*7001 $aSchneider, Steve$0(NO-TrBIB)90862434$_69487000
*7760 $tFASec 2002$w990407967364702201
*830 0$aLecture notes in computer science$v2629$_13074400
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/?isbn=3540206930
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=3540206930
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540206934
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/content/?isbn=9783540206934
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/4/3/9783540206934.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/0/3/3540206930.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/4/3/9783540206934.jpg$qimage/jpeg
*901  $a80
*999  $aoai:nb.bibsys.no:990400599794702202$b2021-11-14T20:18:30Z$z990400599794702202
^