DMCA

Formal verification of a type flaw attack on a security protocol using Object-Z (2005)

Cached

Download Links

by Benjamin W. Long , Colin J. Fidge , David A. Carrington
Venue:in ‘4th International Conference of B and Z Users, ZB 2005
Citations:7 - 1 self