LEADER 04223nam  22008895  450 
001 9910483340603321
005 20251226195748.0
010   $a3-540-74810-5
024 7 $a10.1007/978-3-540-74810-6
035   $a(CKB)1000000000490588
035   $a(SSID)ssj0000317773
035   $a(PQKBManifestationID)11211506
035   $a(PQKBTitleCode)TC0000317773
035   $a(PQKBWorkID)10312397
035   $a(PQKB)11759287
035   $a(DE-He213)978-3-540-74810-6
035   $a(MiAaPQ)EBC3063293
035   $a(MiAaPQ)EBC6692116
035   $a(Au-PeEL)EBL6692116
035   $a(PPN)123164923
035   $a(BIP)32374166
035   $a(BIP)14495984
035   $a(EXLCZ)991000000000490588
100   $a20100301d2007      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFoundations of Security Analysis and Design $eFOSAD 2006/2007 Turtorial Lectures /$fedited by Alessandro Aldini, Roberto Gorrieri
205   $a1st ed. 2007.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007.
215   $a1 online resource (VII, 328 p.) 
225 1 $aSecurity and Cryptology,$x2946-1863 ;$v4677
300   $a"The 'International School on Foundations of Security Analysis and Design' (FOSAD) ... FOSAD is held annually at the Residential Centre of Bertinoro, Italy ... The present volume gathers a collection of tutorial lectures from FOSAD 2006 and FOSAD 2007" -- pref.
311 08$a3-540-74809-1 
320   $aIncludes bibliographical references and index.
327   $aFoundations of Security Analysis and Design -- Security Protocols: Principles and Calculi -- Secure Service Orchestration -- IT Security Analysis Best Practices and Formal Approaches -- Low-Level Software Security: Attacks and Defenses -- Enhancing Java Security with History Based Access Control -- On the Protection and Technologies of Critical Information Infrastructures -- An Interpretation of Identity-Based Cryptography -- Trust and Reputation Systems -- An Introduction to the Role Based Trust Management Framework RT -- Trusted Mobile Platforms.
330   $aThe increasing relevance of security to real-life applications, such as electronic commerce, is attested by the fast-growing number of research groups, events, conferences, and summer schools that are studying it. This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2006/2007, held in Bertinoro, Italy, in September 2006 and September 2007.
410  0$aSecurity and Cryptology,$x2946-1863 ;$v4677
606   $aCryptography
606   $aData encryption (Computer science)
606   $aOperating systems (Computers)
606   $aComputer networks
606   $aElectronic data processing$xManagement
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aCryptology
606   $aOperating Systems
606   $aComputer Communication Networks
606   $aIT Operations
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
615  0$aCryptography.
615  0$aData encryption (Computer science)
615  0$aOperating systems (Computers)
615  0$aComputer networks.
615  0$aElectronic data processing$xManagement.
615  0$aComputer science.
615  0$aCompilers (Computer programs)
615 14$aCryptology.
615 24$aOperating Systems.
615 24$aComputer Communication Networks.
615 24$aIT Operations.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
676   $a005.8
702   $aAldini$b Alessandro
702   $aGorrieri$b Roberto
712 12$aInternational School on Foundations of Security Analysis and Design$f(2007 :$eBertinoro, Italy)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483340603321
996   $aFoundations of security analysis and design$9975652
997   $aUNINA