{"product_id":"foundations-of-security-analysis-and-alessandro-aldini-9783642038280","title":"Foundations of Security Analysis and Design V: FOSAD 2007\/2008\/2009 Tutorial Lectures","description":"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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Alessandro Aldini\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 364203828X\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783642038280\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 08\/17\/2009\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 339\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.20lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.30h x 6.10w x 0.80d","brand":"Alessandro Aldini","offers":[{"title":"Paperback","offer_id":49148320350463,"sku":"9783642038280","price":49.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/www.whiterainbookhouse.com\/products\/foundations-of-security-analysis-and-alessandro-aldini-9783642038280","provider":"WR Book House","version":"1.0","type":"link"}