Towards An Engineering Discipline of Computational Security
Abstract
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.
- Authors:
-
- New Jersey Insitute of Technology
- ORNL
- Institut Superieur de Gestion
- University of Tunis, Belvedere, Tunisia
- Publication Date:
- Research Org.:
- Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States). National Center for Computational Sciences (NCCS)
- Sponsoring Org.:
- Work for Others (WFO)
- OSTI Identifier:
- 931720
- DOE Contract Number:
- DE-AC05-00OR22725
- Resource Type:
- Conference
- Resource Relation:
- Conference: HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, Big Island, HI, USA, 20070103, 20070106
- Country of Publication:
- United States
- Language:
- English
- Subject:
- 97 MATHEMATICS AND COMPUTING; 99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; SECURITY; MATHEMATICAL LOGIC; MATHEMATICAL MODELS; COMPUTERIZED SIMULATION
Citation Formats
Mili, Ali, Sheldon, Frederick T, Jilani, Lamia Labed, and Ayed, Rahma Ben. Towards An Engineering Discipline of Computational Security. United States: N. p., 2007.
Web.
Mili, Ali, Sheldon, Frederick T, Jilani, Lamia Labed, & Ayed, Rahma Ben. Towards An Engineering Discipline of Computational Security. United States.
Mili, Ali, Sheldon, Frederick T, Jilani, Lamia Labed, and Ayed, Rahma Ben. 2007.
"Towards An Engineering Discipline of Computational Security". United States.
@article{osti_931720,
title = {Towards An Engineering Discipline of Computational Security},
author = {Mili, Ali and Sheldon, Frederick T and Jilani, Lamia Labed and Ayed, Rahma Ben},
abstractNote = {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.},
doi = {},
url = {https://www.osti.gov/biblio/931720},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Mon Jan 01 00:00:00 EST 2007},
month = {Mon Jan 01 00:00:00 EST 2007}
}