Synthesis of insertion functions for enforcement of opacity security properties.

Yi-Chin Wu Stéphane Lafortune

Published in: Autom. (2014)

Keyphrases

security properties
algebraic properties
security analysis
security requirements
formal model
security protocols
access control
cryptographic protocols
real time
formal methods
security vulnerabilities
artificial intelligence
smart card