Login / Signup

Compositional refinement in agent-based security protocols.

A. K. McIverCarroll C. Morgan
Published in: Formal Aspects Comput. (2011)
Keyphrases