Intensional Specifications of Security Protocols (1998)

Download From

IEEE
Download from IEEE

Download Links

by A. W. Roscoe
Venue:In 9th IEEE Computer Security Foundations Workshop
Citations:47 - 1 self