Security Verification and Validation by Software SMEs: Theory versus Practice.
Matthew Nicolas KreegerG. HarindranathPublished in: CONF-IRM (2012)
Keyphrases
- high security
- formal methods
- high assurance
- software systems
- intrusion detection
- theoretical insights
- cryptographic protocols
- access control
- security vulnerabilities
- java card
- formal verification
- software design
- integrity verification
- source code
- hardware designs
- security issues
- network security
- information security
- software architecture
- model checking
- theoretical framework
- computer systems
- distributed systems
- security policies
- embedded systems
- security risks
- small and medium enterprises
- windows xp
- small and medium sized enterprises