Foundations of security analysis and design VII [electronic resource] : FOSAD 2012/2013 tutorial lectures / Alessandro Aldini, Javier Lopez, Fabio Martinelli (eds.).
International School on Foundations of Security Analysis and Design (2012 : Bertinoro, Italy); Aldini, Alessandro, editor.; Lopez, Javier, editor.; Martinelli, Fabio, 1969- editor.; International School on Foundations of Security Analysis and Design (2013 : Bertinoro, Italy)
2014
TK5105.59
Available Online

Linked e-resources

Linked Resource Online Access

Details

Title Foundations of security analysis and design VII [electronic resource] : FOSAD 2012/2013 tutorial lectures / Alessandro Aldini, Javier Lopez, Fabio Martinelli (eds.).
Meeting Name International School on Foundations of Security Analysis and Design (2012 : Bertinoro, Italy)
ISBN 9783319100821 electronic book
3319100823 electronic book
9783319100814
DOI https://doi.org/10.1007/978-3-319-10082-1
Published Cham : Springer, 2014.
Language English
Description 1 online resource (viii, 282 pages) : illustrations.
Item Number 10.1007/978-3-319-10082-1 doi
Call Number TK5105.59
Dewey Decimal Classification 005.8
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Description based on online resource; title from PDF title page (SpringerLink, viewed August 19, 2014).
Added Author Aldini, Alessandro, editor.
Lopez, Javier, editor.
Martinelli, Fabio, 1969- editor.
Added Meeting Name International School on Foundations of Security Analysis and Design (2013 : Bertinoro, Italy)
Series Lecture notes in computer science ; 8604.
LNCS sublibrary. SL 4, Security and cryptology.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Model-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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export