Sherlock: Commercial High Assurance Network Computing.

Stephen P. Morgan Stephen W. Neal Melissa A. Hartman Matthew R. Laue

Published in: ISW (2000)

Keyphrases

high assurance
network model
network design
cooperative
network structure
neural network
case study
end to end
fault tolerant
communication networks
network architecture
data flow
network management