SCR: A Practical Approach to Building a High Assurance COMSEC System.
James KirbyMyla ArcherConstance L. HeitmeyerPublished in: ACSAC (1999)
Keyphrases
- high assurance
- software systems
- distributed systems
- fault tolerant
- computer vision
- neural network
- operating system
- artificial intelligence
- database systems
- multiscale
- multi agent
- wide range
- learning environment
- search algorithm
- relational databases
- special case
- mobile robot
- case study
- decision making
- data mining
- real time