Releases by David Basin

All6
Hardcover Book2
Paperback Book4

In stock at iMusic Show unavailable items

Cover for David Basin · Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide - Information Security and Cryptography (Hardcover Book) (2025)

Modeling and Analyzing Security ... (2025)

Cover for David Basin · Applied Information Security: A Hands-on Approach (Paperback Book) [2011 edition] (2013)

Applied Information Security: A ... (2013)

Cover for David Basin · Principles of Security and Trust: Second International Conference, Post 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013 : Proceedings - Lecture Notes in Computer Science / (Paperback Book) (2013)

Principles of Security and Trust... (2013)

Cover for David Basin · Labelled Deduction - Applied Logic Series (Paperback Book) [Softcover reprint of the original 1st ed. 2000 edition] (2012)

Softcover reprint of the original 1st ed. 2000 edition

Labelled Deduction - Applied Log... (2012)

Cover for David Basin · Applied Information Security: A Hands-on Approach (Hardcover Book) (2011)

Applied Information Security: A ... (2011)

Cover for David Basin · Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2003 edition] (2003)

Theorem Proving in Higher Order ... (2003)