Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures: 5705 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
Foundations of Security Analysis and Design.- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.- An Introduction to Certificate Translation.- Federated Identity Management.- Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment.- Logic in Access Control (Tutorial Notes).- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.- Verification of Concurrent Programs with Chalice.- Certified Static Analysis by Abstract Interpretation.- Resource Usage Analysis and Its Application to Resource Certification.- Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
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 problems, and giving presentations about ongoing work in the field, in order to favour discussions and novel scientific collaborations.
This book presents thoroughly revised versions of ten tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009, held in Bertinoro, Italy, in September 2007, August 2008, and August/September 2009. The topics covered in this book include cryptographic protocol analysis, program and resource certification, identity management and electronic voting, access and authorization control, wireless security, mobile code and communications security.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Foundations of Security Analysis and Design V: FOSAD...
Beispielbild für diese ISBN
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 338 pages. 9.00x6.00x0.75 inches. In Stock. Artikel-Nr. x-364203828X
Neu kaufen
EUR 73,10
Versand:
EUR 14,16
Von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures
Verlag:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2009
ISBN 10: 364203828X
ISBN 13: 9783642038280
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 problems, and giving presentations about ongoing work in the field, in order to favour discussions and novel scientific collaborations.This book presents thoroughly revised versions of ten tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009, held in Bertinoro, Italy, in September 2007, August 2008, and August/September 2009. The topics covered in this book include cryptographic protocol analysis, program and resource certification, identity management and electronic voting, access and authorization control, wireless security, mobile code and communications security. Artikel-Nr. 9783642038280
Neu kaufen
EUR 54,93
Versand:
EUR 62,64
Von Deutschland nach USA
Anzahl: 2 verfügbar