Control Flow Based Pointcuts for Security Hardening Concerns.

Marc-André Laverdière Azzam Mourad Andrei Soeanu Mourad Debbabi

Published in: IFIPTM (2007)

Keyphrases

control flow
java card
data flow
process model
software testing
access control
network security
information security
intrusion detection
security policies
transition systems
modeling language
reactive systems
software engineering
database management systems
formal semantics