Scalable Security Verification of Software at Compile Time.
Syrine TliliJosé M. FernandezAbdelfettah BelghithBilel DridiSoufien HidouriPublished in: SCAM (2014)
Keyphrases
- high assurance
- high security
- software development
- access control
- software tools
- integrity verification
- security vulnerabilities
- user interface
- information security
- security requirements
- formal methods
- security issues
- source code
- model checking
- software systems
- java card
- cryptographic protocols
- enterprise systems
- software architecture
- software design
- network services
- software projects
- test cases
- formal verification
- intrusion detection
- windows xp
- hardware designs
- security policies
- security risks
- computer systems
- security systems
- security level
- iso iec
- encryption scheme
- functional requirements
- statistical databases
- software maintenance
- integrity constraints