Efficient Finite-State Analysis for Large Security Protocols (1998)

Cached

Download Links

by Vitaly Shmatikov , Ulrich Stern
Venue:IN PROC. 11TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP
Citations:32 - 2 self