Formal Modeling and Verification of Opportunity-enabled Risk Management.
Alessandro AldiniJean-Marc SeigneurCarlos Ballester LafuenteXavier TitiJonathan GuislainPublished in: TrustCom/BigDataSE/ISPA (1) (2015)
Keyphrases
- risk management
- risk assessment
- risk evaluation
- decision support system
- risk analysis
- risk factors
- formal methods
- real world
- model checking
- information security management
- database
- decision makers
- intrusion detection
- lead time
- software engineering
- query language
- artificial intelligence
- financial institutions
- databases
- operational risk
- data sets