Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers /
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Comput...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Degano, Pierpaolo (Editor ), Guttman, Joshua D. (Editor ), Martinelli, Fabio (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 ;
5491 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /
Publicado: (2010) -
Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
Publicado: (2012) -
Formal Aspects of Security and Trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers /
Publicado: (2011) -
Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers /
Publicado: (2007) -
Formal Aspects in Security and Trust Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
Publicado: (2006)