Control-Flow Integrity: Precision, Security, and Performance.
Nathan BurowScott A. CarrJoseph NashPer LarsenMichael FranzStefan BrunthalerMathias PayerPublished in: ACM Comput. Surv. (2017)
Keyphrases
- control flow
- data flow
- process model
- data integrity
- trusted computing
- software testing
- integrity verification
- transition systems
- data confidentiality
- information flow control
- information security
- workflow management systems
- high assurance
- data security
- reactive systems
- modeling language
- information flow
- network security
- formal semantics
- business process models
- security policies
- information systems
- access control
- e learning