Formal methods for web security.
Michele BugliesiStefano CalzavaraRiccardo FocardiPublished in: J. Log. Algebraic Methods Program. (2017)
Keyphrases
- formal methods
- security properties
- website
- web applications
- formal specification
- safety critical
- model checker
- formal analysis
- knowledge based systems
- model checking
- information security
- provably correct
- development lifecycle
- security requirements
- protocol specification
- process algebra
- security issues
- artificial intelligence
- intrusion detection
- web pages
- database
- security analysis
- key management
- data mining