Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures (Paperback) (ISBN-13: 9783642038280)

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.

Author: Alessandro Aldini
ISBN-10: 364203828X
ISBN-13: 9783642038280
Publisher: Springer
Language: English
Published: 08/17/2009
Pages: 339
Format: Paperback
Weight: 1.20lbs
Size: 9.30h x 6.10w x 0.80d