A Formal Methods Approach to Security Requirements Specification and Verification.
Quentin RoulandBrahim HamidJean-Paul BodeveixMamoun FilaliPublished in: ICECCS (2019)
Keyphrases
- formal methods
- requirements specification
- software engineering
- security properties
- model checking
- formal specification
- specification language
- requirements engineering
- formal analysis
- model checker
- safety critical
- software systems
- protocol specification
- security requirements
- knowledge based systems
- access control
- artificial intelligence
- software requirements
- development process
- development lifecycle
- modeling language
- information security
- software development
- network security
- intrusion detection
- knowledge acquisition
- functional requirements
- databases
- concurrent systems
- formal specification language
- security policies
- software architecture
- knowledge management
- general purpose
- case study
- information systems