Verification of CERT Secure Coding Rules: Case Studies.
Syrine TliliXiaochun YangRachid HadjidjMourad DebbabiPublished in: OTM Conferences (2) (2009)
Keyphrases
- case study
- lessons learned
- real world
- association rules
- cryptographic protocols
- integrity verification
- association rule mining
- coding scheme
- neural network
- inter frame
- high security
- standard model
- key management
- decision making
- open source
- security analysis
- development process
- formal verification
- model checking
- error control
- video sequences