Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach.
Calvin KoManfred RuschitzkaKarl N. LevittPublished in: IEEE Symposium on Security and Privacy (1997)
Keyphrases
- distributed systems
- network monitoring
- security policies
- control flow
- fault tolerant
- high assurance
- security requirements
- distributed environment
- mobile agent system
- load balancing
- distributed computing
- monitoring system
- geographically distributed
- fault tolerance
- mobile agents
- operating system
- intrusion detection
- message passing
- deadlock detection
- real time systems
- distributed database systems
- concurrent systems
- information security
- access control
- software architecture
- security mechanisms
- data replication
- formal specification
- mobile computing
- plan execution
- loosely coupled
- network management
- network security
- agent based systems
- case study