Foundations of security analysis and design vii : fosad 2012/2013 tutorial lectures / edited by Alessandro Aldini, Javier Lopez, Fabio Martinelli.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 8604Editor: Cham : Springer International Publishing : Springer, 2014Descripción: viii, 282 páginas : 98 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319100821
- QA76.9.A25
Contenidos:
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.
No hay ítems correspondientes a este registro
Springer eBooks
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.
Para consulta fuera de la UANL se requiere clave de acceso remoto.