VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices.
Eduard Paul EnoiuDragos TruscanAndrey SadovykhWissam MallouliPublished in: ARES (2023)
Keyphrases
- high security
- high assurance
- development methodologies
- software systems
- java card
- software development
- model based testing
- software engineering practices
- security vulnerabilities
- cryptographic protocols
- integrity verification
- security policies
- formal methods
- access control
- security systems
- information security
- security issues
- software industry
- computer security
- iso iec
- software tools
- network security
- software architecture
- computer systems
- software engineering
- computing infrastructure
- case study
- software design
- model checking
- software maintenance
- information systems
- formal verification
- intellectual property protection
- source code
- intrusion detection
- test cases
- software developers
- multimodal biometrics
- statistical databases
- software testing
- enterprise systems
- software process
- software quality
- static analysis