000707437 000__ 02816cam\a2200529Ii\4500
000707437 001__ 707437
000707437 005__ 20230306140048.0
000707437 006__ m\\\\\o\\d\\\\\\\\
000707437 007__ cr\cnunnnunuuu
000707437 008__ 140819s2014\\\\sz\a\\\\o\\\\\101\0\eng\d
000707437 020__ $$a9783319100821$$qelectronic book
000707437 020__ $$a3319100823$$qelectronic book
000707437 020__ $$z9783319100814
000707437 0247_ $$a10.1007/978-3-319-10082-1$$2doi
000707437 035__ $$aSP(OCoLC)ocn887814762
000707437 035__ $$aSP(OCoLC)887814762
000707437 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDXCP$$dUKMGB$$dCOO
000707437 049__ $$aISEA
000707437 050_4 $$aTK5105.59
000707437 08204 $$a005.8$$223
000707437 1112_ $$aInternational School on Foundations of Security Analysis and Design$$d(2012 :$$cBertinoro, Italy)
000707437 24510 $$aFoundations of security analysis and design VII$$h[electronic resource] :$$bFOSAD 2012/2013 tutorial lectures /$$cAlessandro Aldini, Javier Lopez, Fabio Martinelli (eds.).
000707437 2463_ $$aFoundations of security analysis and design 7
000707437 264_1 $$aCham :$$bSpringer,$$c2014.
000707437 300__ $$a1 online resource (viii, 282 pages) :$$billustrations.
000707437 336__ $$atext$$btxt$$2rdacontent
000707437 337__ $$acomputer$$bc$$2rdamedia
000707437 338__ $$aonline resource$$bcr$$2rdacarrier
000707437 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8604
000707437 4901_ $$aLNCS sublibrary. SL 4, Security and cryptology
000707437 500__ $$aIncludes author index.
000707437 5050_ $$aModel-Based Testing for Functional and Security Test Generation -- Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models.-Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif.-Defensive JavaScript: Building and Verifying Secure Web Components.-Information Flow Control for Web Scripts -- EasyCrypt: A Tutorial.-Cryptographic Voting -- A Gentle Introduction.-Encryption and Fragmentation for Data Confidentiality in the Cloud.-Location Privacy in WSNs: Solutions, Challenges, and Future Trends.
000707437 506__ $$aAccess limited to authorized users.
000707437 588__ $$aDescription based on online resource; title from PDF title page (SpringerLink, viewed August 19, 2014).
000707437 650_0 $$aComputer networks$$xSecurity measures$$vCongresses.
000707437 650_0 $$aComputer security$$vCongresses.
000707437 650_0 $$aData protection$$vCongresses.
000707437 7001_ $$aAldini, Alessandro,$$eeditor.
000707437 7001_ $$aLopez, Javier,$$eeditor.
000707437 7001_ $$aMartinelli, Fabio,$$d1969-$$eeditor.
000707437 7112_ $$aInternational School on Foundations of Security Analysis and Design$$d(2013 :$$cBertinoro, Italy)
000707437 830_0 $$aLecture notes in computer science ;$$v8604.
000707437 830_0 $$aLNCS sublibrary.$$nSL 4,$$pSecurity and cryptology.
000707437 85280 $$bebk$$hSpringerLink
000707437 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-10082-1$$zOnline Access
000707437 909CO $$ooai:library.usi.edu:707437$$pGLOBAL_SET
000707437 980__ $$aEBOOK
000707437 980__ $$aBIB
000707437 982__ $$aEbook
000707437 983__ $$aOnline
000707437 994__ $$a92$$bISE