DMCA

Modelling and verifying key-exchange protocols using CSP and FDR (1995)

Cached

Download Links

by A. W. Roscoe
Venue:In 8th IEEE Computer Security Foundations Workshop
Citations:107 - 3 self