Finite-State Analysis of Two Contract Signing Protocols (2001)

Cached

Download Links

by Vitaly Shmatikov , John C. Mitchell
Venue:THEORETICAL COMPUTER SCIENCE
Citations:41 - 1 self