Integrating Formal Methods for Security in Software Security Education.
Paolo ModestiPublished in: Informatics Educ. (2020)
Keyphrases
- formal methods
- security properties
- information security
- formal analysis
- model checking
- provably correct
- safety critical
- knowledge based systems
- formal specification
- model checker
- e learning
- software engineering
- information and communication technologies
- security issues
- artificial intelligence
- development lifecycle
- security requirements
- modeling language
- security policies
- higher education
- intrusion detection
- process algebra
- key management
- security analysis
- access control
- protocol specification
- security protocols
- network security
- reactive systems
- machine learning