| Record ID | marc_nuls/NULS_PHC_180925.mrc:135333568:2152 |
| Source | marc_nuls |
| Download Link | /show-records/marc_nuls/NULS_PHC_180925.mrc:135333568:2152?format=raw |
LEADER: 02152cam 22004334a 4500
001 9922749000001661
005 20150423145126.0
007 cr un-
008 011115s2001 gw a b 101 0 eng
010 $a2001057604
015 $aGBA1-72151
019 $a48572542
020 $a3540428968 (pbk. : alk. paper)
029 1 $aUKM$bbA172151
035 $a(CSdNU)u104634-01national_inst
035 $a(OCoLC)48473766
035 $a(Sirsi) 01-AAO-6259
040 $aDLC$cDLC$dC$Q$dC#P$dPMC$dUKM
042 $apcc
049 $aCNUM
050 00 $aQA76.9.A25$bF68 2001
245 00 $aFoundations of security analysis and design :$btutorial lectures /$cRiccardo Focardi, Robert Gorrieri (eds.)
260 $aBerlin ;$aNew York :$bSpringer,$cc2001.
300 $avi, 396 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v2171
500 $aLectures presented at the International School on Foundations of Security Analysis and Design, Sept. 18-30, 2000, Bertinoro, Italy.
504 $aIncludes bibliographical references and index.
505 0 $aMathematical models of computer security / Peter Y.A. Ryan -- The logic of authentication protocols / Paul Syverson and Iliano Cervesato -- Access control : policies, models, and mechanisms / Pierangela Samarati and Sabrina de Capitani di Vimercati -- Security goals : packet trajectories and strand spaces / Joshua D. Guttman -- Notes on nominal calculi for security and mobility / Andrew D. Gordon -- Classification of security properties (part I : information flow) / Riccardo Focardi and Roberto Gorrieri.
530 $aAlso available via the World Wide Web.
650 0 $aComputer security.
650 0 $aComputer networks$xSecurity measures.
700 1 $aFocardi, Riccardo,$d1970-
700 1 $aGorrieri, Roberto.
711 2 $aInternational School on Foundations of Security Analysis and Design
948 $a06/25/2002$b07/22/2002
982 $aQA76.9.A25$aF68$a2001
983 $a31786101629043
994 $a92$bCNU
999 $aQA76.9.A25 F68 2001$wLC$c1$i31786101629043$d10/20/2009$f6/15/2004$g1$lCIRCSTACKS$mNULS$n1$q1$rY$sY$tBOOK$u7/22/2002