Towards an engineering discipline of computational security

Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07
DOIs
StatePublished - Dec 1 2007
Event40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07 - Big Island, HI, United States
Duration: Jan 3 2007Jan 6 2007

Publication series

NameProceedings of the Annual Hawaii International Conference on System Sciences
ISSN (Print)1530-1605

Other

Other40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07
CountryUnited States
CityBig Island, HI
Period1/3/071/6/07

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Keywords

  • Computable security attributes
  • Dependability
  • Fault tolerance
  • Integrity
  • Reliability
  • Safety
  • Security
  • Survivability
  • Testing
  • Verification

Cite this