Using Composition to Design Secure, Fault-Tolerant Systems.

Duane E. Olawsky Charles Payne Thomas Sundquist David Apostal Todd Fine

Published in: HASE (1998)

Keyphrases

fault tolerant
high assurance
distributed systems
safety critical
fault tolerance
knowledge based systems
design process
load balancing
evolvable hardware
complex systems
embedded systems
design tools
operating system
information security
key distribution
digital circuits
mobile agent system
expert systems