Static Security Analysis Based on Input-Related Software Faults.
Csaba NagySpiros MancoridisPublished in: CSMR (2009)
Keyphrases
- security analysis
- security requirements
- smart card
- security model
- software development
- public key
- image encryption
- high security
- security properties
- encryption scheme
- software architecture
- software systems
- computer systems
- user authentication
- similarity search
- distributed systems
- authentication protocol
- source code
- video sequences
- database systems
- case study