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

View PDF

Download Links

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