Formal Analysis of Security Metrics and Risk.
Leanid KrautsevichFabio MartinelliArtsiom YautsiukhinPublished in: WISTP (2011)
Keyphrases
- formal analysis
- ban logic
- risk assessment
- risk analysis
- formal methods
- information security
- risk management
- security requirements
- agent model
- decision making
- access control
- network security
- security issues
- statistical databases
- evaluation metrics
- information systems
- authentication protocol
- database
- building blocks
- security mechanisms
- security analysis
- databases