Idea: Action Refinement for Security Properties Enforcement.

Fabio Martinelli Ilaria Matteucci

Published in: ESSoS (2009)

Keyphrases

security properties
security requirements
formal model
security analysis
security protocols
cryptographic protocols
access control
formal methods
real time
security vulnerabilities
data mining
artificial intelligence
software architecture
public key