Login / Signup

XRound: A reversible template language and its application in model-based security analysis.

Howard ChiversRichard F. Paige
Published in: Inf. Softw. Technol. (2009)
Keyphrases