Composition and integrity preservation of secure reactive systems.
Birgit PfitzmannMichael WaidnerPublished in: CCS (2000)
Keyphrases
- reactive systems
- information flow
- integrity verification
- temporal logic
- trusted computing
- petri net
- model checking
- data confidentiality
- formal methods
- control flow
- data protection
- real time systems
- data security
- databases
- data quality
- low cost
- state machines
- sensitive data
- computing platform
- object oriented
- training set
- database systems
- decision making
- artificial intelligence