Secure Communicating Systems: Design, Analysis, and Implementation by Michael R.
112,93 €
Another novel feature of the book is the presentation of a formal model-checking tool for specifying and debugging security protocols. A novel feature of the book is the presentation of a formal model-checking tool for specifying and debugging security protocols.
Jetzt bei Ebay:
