Cargando…

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 /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Armando, Alessandro (Editor ), Lowe, Gavin (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:	1st ed. 2010.
Colección:	Security and Cryptology ; 6186
Temas:	Cryptography. Data encryption (Computer science). Computer networks . Computers and civilization. Algorithms. Software engineering. Compilers (Computer programs). Cryptology. Computer Communication Networks. Computers and Society. Software Engineering. Compilers and Interpreters.
Acceso en línea:	Texto Completo

Ejemplares similares

Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers /
Publicado: (2012)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers /
Publicado: (2005)

Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures /
Publicado: (2007)

Synchronizing Internet Protocol Security (SIPSec)
por: Shoniregun, Charles A.
Publicado: (2007)

Information Processing and Security Systems
Publicado: (2005)

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers /
Publicado: (2009)

Secure Multi-Party Non-Repudiation Protocols and Applications
por: Onieva, José A., et al.
Publicado: (2009)

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /
Publicado: (2012)

Communications and Multimedia Security 10th IFIP TC-6 TC 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceedings /
Publicado: (2006)

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /
Publicado: (2006)

Security in Ad-hoc and Sensor Networks First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers /
Publicado: (2005)

Secure Mobile Ad-hoc Networks and Sensors First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers /
Publicado: (2006)

Open Source Software for Digital Forensics
Publicado: (2010)

Security and Privacy in Ad-hoc and Sensor Networks Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers /
Publicado: (2005)

Open Source Systems Security Certification
por: Damiani, Ernesto, et al.
Publicado: (2009)

Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /
Publicado: (2010)

Security Protocols XVI 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers /
Publicado: (2011)

Security Protocols XVII 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers /
Publicado: (2013)

Security Protocols 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers /
Publicado: (2005)

Security Protocols 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers /
Publicado: (2009)

Quality Of Protection Security Measurements and Metrics /
Publicado: (2006)

Security Protocols 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers /
Publicado: (2007)

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures /
Publicado: (2011)

Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures /
Publicado: (2009)

Selected Areas in Cryptography 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers /
Publicado: (2011)

Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers /
Publicado: (2013)

Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers /
Publicado: (2012)

Secure Data Management 7th VLDB Workshop, SDM 2010, Singapore, September 17, 2010, Proceedings /
Publicado: (2010)

Mobile Ad-hoc and Sensor Networks First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings /
Publicado: (2005)

Mobile Ad-hoc and Sensor Networks Second International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006, Proceedings /
Publicado: (2006)

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2010, Hyderabad, India, June 21, 2010 Proceedings /
Publicado: (2010)

Intelligence and Security Informatics IEEE ISI 2008 International Workshops: PAISI, PACCF and SOCO 2008, Taipei, Taiwan, June 17, 2008, Proceedings /
Publicado: (2008)

Communications and Multimedia Security 9th IFIP TC-6 TC-11 International Conference, CMS 2005, Salzburg, Austria, September 19-21, 2005, Proceedings /
Publicado: (2005)

Emerging Trends in Information and Communication Security International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings /
Publicado: (2006)

Embedded Java Security Security for Mobile Devices /
por: Debbabi, Mourad, et al.
Publicado: (2007)

Security and Privacy in Ad-hoc and Sensor Networks 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007, Proceedings /
Publicado: (2007)

Security and Privacy in Ad-Hoc and Sensor Networks Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers /
Publicado: (2006)

Security and Privacy in Communication Networks 6th International ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010, Proceedings /
Publicado: (2010)

Certification and Security in Inter-Organizational E-Services IFIP 18th World Computer Congress, August 22-27, 2004, Toulouse, France /
Publicado: (2005)

Lightweight Cryptography for Security and Privacy 2nd International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected Papers /
Publicado: (2013)

Cannot write session to /tmp/vufind_sessions/sess_aq74jr961l3fg5k8jc82fk9t57