A Formal Development Cycle for Security Engineering in Isabelle.
Florian KammüllerPublished in: CoRR (2020)
Keyphrases
- development cycle
- systems analysis and design
- design process
- software development
- development process
- agile software development
- software engineering
- engineering design
- access control
- information security
- theorem prover
- security issues
- product development
- software projects
- functional requirements
- product design
- security policies
- security requirements
- encryption scheme
- network security
- formal model
- domain knowledge
- computer science
- databases
- intrusion detection
- statistical databases
- conceptual design
- data model
- formal analysis
- cooperative
- multi agent
- case study
- information systems
- natural deduction
- artificial intelligence
- real world