Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Nancy Durgin

A Compositional Logic for Proving Security Properties of Protocols*

Journal of Computer Security

Computer Networks

English