Login / Signup

Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z.

Benjamin W. Long
Published in: ZB (2005)
Keyphrases