Towards Formal Analysis of Security Protocols (1993)

Cached

Download Links

by Wenbo Mao , Colin Boyd , England England
Venue:In Computer Security Foundations Workshop VI
Citations:31 - 4 self