Security-Aware Program Transformations.
Massimo BartolettiPierpaolo DeganoGian Luigi FerrariPublished in: ICTCS (2003)
Keyphrases
- security issues
- computer security
- access control
- information security
- security requirements
- taking care
- information assurance
- network security
- statistical databases
- security mechanisms
- security vulnerabilities
- security threats
- security problems
- static analysis
- intrusion detection
- real time
- control flow
- security protocols
- security level
- java card
- functional requirements
- security management
- security measures
- test cases
- databases