Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, N
67,25 €
On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol. - A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. - Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Jetzt bei Ebay:
