Operational Semantics and Verification of Security Protocols
by Cas Cremers
2012172 pages
Springer Berlin Heidelberg·2 editions
by Cas Cremers
No users with this book on their shelves. Maybe you could be the first.
No reviews yet. Add your review.
No lists containing this book.