Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military.
Donald MacKenzieGarrel PottingerPublished in: IEEE Ann. Hist. Comput. (1997)
Keyphrases
- computer security
- formal verification
- computer systems
- model checking
- anomaly detection
- trusted computing
- intrusion detection
- information security
- data processing
- network security
- bounded model checking
- model checker
- automated verification
- case study
- intrusion detection system
- symbolic model checking
- database
- program slicing
- trust model
- active learning
- information systems
- artificial intelligence