Expressing Security Properties Using Selective Interleaving Functions

Joseph Y. Halpern Sabina Petride

Published in: CoRR (2006)

Keyphrases

security properties
algebraic properties
formal model
security requirements
security analysis
security protocols
cryptographic protocols
formal methods
security vulnerabilities
computer systems