Formal Models and Techniques for Analyzing Security Protocols: A Tutorial by Ste
113,07 €
Given the financial and societal impact in case of failure and the long history of design flaws in such protocols, formal verification is a necessity. A major difference from other safety critical systems is that the properties of security protocols must hold in the presence of an arbitrary adversary.
Jetzt bei Ebay:
