Formal Aspects in Security and Trust IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France /
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Dimitrakos, Theo (Editor ), Martinelli, Fabio (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
New York, NY :
Springer US : Imprint: Springer,
2005.
|
Edición: | 1st ed. 2005. |
Colección: | IFIP Advances in Information and Communication Technology,
173 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Emerging Challenges for Security, Privacy and Trust 24th IFIP TC 11 International Information Security Conference, SEC 2009, Pafos, Cyprus, May 18-20, 2009, Proceedings /
por: Gritzalis, Dimitris, et al.
Publicado: (2009) -
Communications and Multimedia Security 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Sept. 15-18, 2004, Windermere, The Lake District, United Kingdom /
Publicado: (2005) -
Trusted Computing Platforms Design and Applications /
por: Smith, Sean W.
Publicado: (2005) -
Certification and Security in Inter-Organizational E-Services IFIP 18th World Computer Congress, August 22-27, 2004, Toulouse, France /
Publicado: (2005) -
Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012, Proceedings /
Publicado: (2012)