A framework for testing security mechanisms for program-based attacks.

Ben Breech Lori L. Pollock

Published in: SESS@ICSE (2005)

Keyphrases

security mechanisms
security problems
cryptographic algorithms
security threats
access control
security issues
security systems
resource constrained
smart card
test cases
case study
real time
security requirements
constraint satisfaction problems
key management
operating system
intrusion detection
databases