Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures /
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Aldini, Alessandro (Editor ), Barthe, Gilles (Editor ), Gorrieri, Roberto (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
Edición: | 1st ed. 2009. |
Colección: | Security and Cryptology ;
5705 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures /
Publicado: (2011) -
Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures /
Publicado: (2007) -
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures /
Publicado: (2005) -
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers /
Publicado: (2010) -
Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers /
Publicado: (2012)