LEADER 04631nam 22008415 450 001 9910143624203321 005 20251116234214.0 010 $a3-540-45608-2 024 7 $a10.1007/3-540-45608-2 035 $a(CKB)1000000000211568 035 $a(SSID)ssj0000323274 035 $a(PQKBManifestationID)11277794 035 $a(PQKBTitleCode)TC0000323274 035 $a(PQKBWorkID)10299391 035 $a(PQKB)11477515 035 $a(DE-He213)978-3-540-45608-7 035 $a(MiAaPQ)EBC3073133 035 $a(PPN)155172085 035 $a(BIP)13638628 035 $a(BIP)7484922 035 $a(EXLCZ)991000000000211568 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Security Analysis and Design $eTutorial Lectures /$fedited by Riccardo Focardi, Roberto Gorrieri 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (VII, 405 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2171 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-42896-8 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aMathematical Models of Computer Security -- The Logic of Authentication Protocols -- Access Control: Policies, Models, and Mechanisms -- Security Goals: Packet Trajectories and Strand Spaces -- Notes on Nominal Calculi for Security and Mobility -- Classification of Security Properties. 330 $aSecurity is a rapidly growing area of computer science, with direct and increasing relevance to real life applications such as Internet transactions, electronic commerce, information protection, network and systems integrity, etc. This volume presents thoroughly revised versions of lectures given by leading security researchers during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, held in Bertinoro, Italy in September. Mathematical Models of Computer Security (Peter Y.A. Ryan); The Logic of Authentication Protocols (Paul Syversen 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 (Riccardo Focardi and Roberto Gorrieri). 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2171 606 $aComputer security 606 $aData encryption (Computer science) 606 $aOperating systems (Computers) 606 $aComputer networks 606 $aComputers and civilization 606 $aProgramming languages (Electronic computers) 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aComputer security. 615 0$aData encryption (Computer science) 615 0$aOperating systems (Computers) 615 0$aComputer networks. 615 0$aComputers and civilization. 615 0$aProgramming languages (Electronic computers) 615 14$aSystems and Data Security. 615 24$aCryptology. 615 24$aOperating Systems. 615 24$aComputer Communication Networks. 615 24$aComputers and Society. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.8 702 $aFocardi$b Riccardo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGorrieri$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational School on Foundations of Security Analysis and Design. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143624203321 996 $aFoundations of security analysis and design$9975652 997 $aUNINA LEADER 01193nas 2200421 c 450 001 9910895512703321 005 20260218112124.0 035 $a(CKB)1000000000528661 035 $a(DE-599)ZDB2396363-3 035 $a(OCoLC)648904972 035 $a(OCoLC)220246593 035 $a(OCoLC)645545348 035 $a(DE-101)986377996 035 $a(DE-599)2396363-3 035 $a(EXLCZ)991000000000528661 100 $a20071113a20049999 |y | 101 0 $ager 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGeschäftsbericht / Arbeitgeberverband der Versicherungsunternehmen in Deutschland, AGV 210 31$aMu?nchen$cAGV$d2004- 215 $aOnline-Ressource 300 $aGesehen am 10.01.14 517 $aGeschäftsbericht / Arbeitgeberverband der Versicherungsunternehmen in Deutschland 517 1 $aAGV-Gescha?ftsbericht 608 $aZeitschrift$2gnd-content 676 $a330 676 $a360 676 $a380 801 0$b0093 801 1$bDE-101 801 2$b9999 906 $aJOURNAL 912 $a9910895512703321 996 $aGeschaftsbericht$9432857 997 $aUNINA