Formal Analysis of Security Metrics with Defensive Actions.

Leanid Krautsevich Fabio Martinelli Artsiom Yautsiukhin

Published in: UIC/ATC (2013)

Keyphrases

formal analysis
ban logic
security policies
formal methods
situation calculus
information security
security requirements
human operators
agent model
security issues
security protocols
database