
Formal aspects of security : first international conference, FASec 2002, London, UK, December 16-18, 2002 : revised papers
Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.)Ledig
- Automatlager: 1 av 1 ledig
Henter eksemplarliste...
Fakta
Laster innhold...
Kopiér til utklippstavle
*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 ^