Static Security Optimization for Real Time Systems.
Man LinLi XuLaurence Tianruo YangXiao QinNenggan ZhengZhaohui WuMeikang QiuPublished in: IEEE Trans. Ind. Informatics (2009)
Keyphrases
- real time systems
- real time
- mission critical
- embedded systems
- distributed systems
- access control
- real time database systems
- security policies
- timing constraints
- security requirements
- information security
- intrusion detection
- architectural model
- object oriented programming language
- database
- anytime algorithms
- multi agent systems