Synthesis of Local Controller Programs for Enforcing Global Security Properties.

Fabio Martinelli Ilaria Matteucci

Published in: ARES (2008)

Keyphrases

security properties
formal model
security requirements
security analysis
formal methods
global consistency
functional programs
information systems
control system
security protocols
security vulnerabilities
controller synthesis
real time
cryptographic protocols