DMCA

Constraint Solving for Bounded-Process Cryptographic Protocol Analysis (2001)

by Jonathan Millen , Vitaly Shmatikov
Venue:CCS'01
Citations:176 - 3 self