skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: 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:
 [1];  [2];  [3];  [4]
  1. New Jersey Insitute of Technology
  2. ORNL
  3. Institut Superieur de Gestion
  4. 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}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: