Towards An Engineering Discipline of Computational Security
- New Jersey Insitute of Technology
- ORNL
- Institut Superieur de Gestion
- University of Tunis, Belvedere, Tunisia
George Boole ushered the era of modern logic by arguing that logical reasoning does not fall in the realm of philosophy, as it was considered up to his time, but in the realm of mathematics. As such, logical propositions and logical arguments are modeled using algebraic structures. Likewise, we submit that security attributes must be modeled as formal mathematical propositions that are subject to mathematical analysis. In this paper, we approach this problem by attempting to model security attributes in a refinement-like framework that has traditionally been used to represent reliability and safety claims. Keywords: Computable security attributes, survivability, integrity, dependability, reliability, safety, security, verification, testing, fault tolerance.
- Research Organization:
- Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States). National Center for Computational Sciences (NCCS)
- Sponsoring Organization:
- Work for Others (WFO)
- DOE Contract Number:
- DE-AC05-00OR22725
- OSTI ID:
- 931720
- Resource Relation:
- Conference: HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, Big Island, HI, USA, 20070103, 20070106
- Country of Publication:
- United States
- Language:
- English
Similar Records
Security after the revolutions of 1989 and 1991: The future with nuclear weapons
Impact of national-security considerations on science and technology. Hearing before the Subcommittee on Science, Research and Technology, and the Subcommittee on Investigations and Oversight of the Committee on Science and Technology, US House of Representatives, Ninety-Seventh Congress, Second Session, March 29, 1982