Systematically breaking and fixing OpenID security: Formal analysis, semi-automated empirical evaluation, and practical countermeasures.
San-Tsai SunKirstie HawkeyKonstantin BeznosovPublished in: Comput. Secur. (2012)
Keyphrases
- empirical evaluation
- semi automated
- formal analysis
- countermeasures
- information security
- security measures
- ban logic
- java card
- cyber attacks
- fully automated
- security issues
- security breaches
- intrusion detection
- information systems
- computer security
- network security
- security requirements
- real world
- agent model
- information warfare
- power analysis
- formal methods
- security management
- smart card
- sensitive data
- low cost
- data security
- privacy preserving
- machine learning
- access control