Formal specification of fault-tolerance and its relation to computer security.
D. G. WeberPublished in: IWSSD (1989)
Keyphrases
- asynchronous circuits
- fault tolerance
- computer security
- process algebra
- formal specification
- model checking
- fault tolerant
- intrusion detection
- computer systems
- response time
- distributed systems
- load balancing
- network security
- anomaly detection
- information security
- peer to peer
- object oriented design
- fault management
- database replication
- intrusion detection system
- network intrusion detection
- formal methods
- failure recovery
- software components
- reverse engineering
- mobile agents
- single point of failure
- databases
- protocol specification
- software systems
- data processing
- knowledge base