A Compositional Logic for Protocol Correctness (2001)

Cached

Download Links

by Nancy Durgin , John Mitchell , Dusko Pavlovic
Venue:In Proceedings of 14th IEEE Computer Security Foundations Workshop
Citations:33 - 14 self