Cover of Foundations of Security, Protocols, and Equational Reasoning
View on Open Library ↗

Foundations of Security, Protocols, and Equational Reasoning

by , ,

1 hr read
Rate this book:
251 pages 2019

Buy This Book

Amazon → Bookshop.org Supports indie bookshops → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Know this book?

Help other readers discover this title by sharing your thoughts. Be the first to write a review.

Share Your Thoughts

Sign in to write a review.

More by Joshua Guttman

Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers
Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers
2009
Logic, Language, and Security
Logic, Language, and Security
2020
Logical constants and logical
Logical constants and logical objects
1984
Principles of Security and Trust Lecture Notes in Computer Science
Principles of Security and Trust Lecture Notes in Computer Science
2012
VLISP A Verfied Implementation of Scheme
VLISP A Verfied Implementation of Scheme
1995

View all books by Joshua Guttman →