Produktbild: Foundations of Security Analysis and Design V
Band 5705

Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures

Aus der Reihe Security and Cryptology

46,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.08.2009

Abbildungen

VIII, 339 p.

Herausgeber

Alessandro Aldini + weitere

Verlag

Springer Berlin

Seitenzahl

339

Maße (B/H)

15,5/23,5 cm

Gewicht

528 g

Sprache

Englisch

ISBN

978-3-642-03828-0

Beschreibung

Rezension

From the reviews:
“This is a compilation of selected tutorial papers from the 2007 to 2009 Foundations of Security Analysis and Design (FOSAD) schools. … This collection is an excellent resource for computer science (CS) graduate students, scholars, and practitioners interested in security-related research. Furthermore, it provides up-to-date citations for further study.” (Kim-Kwang Raymond Choo, ACM Computing Reviews, March, 2010)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.08.2009

Abbildungen

VIII, 339 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

339

Maße (B/H)

15,5/23,5 cm

Gewicht

528 g

Sprache

Englisch

ISBN

978-3-642-03828-0

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Foundations of Security Analysis and Design V
  • 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.