Login / Signup

A Modeling Framework for Generating Security Protocol Specifications.

Béla GengePiroska Haller
Published in: SYNASC (2008)
Keyphrases