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:33 - 2 self