@inproceedings{4993110e429545cebb755925051ab331,
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, Dependability, Fault tolerance, Integrity, Reliability, Safety, Security, Survivability, Testing, Verification",
author = "Ali Mili and Alex Vinokurov and Jilani, {Lamia Labed} and Sheldon, {Frederick T.} and Ayed, {Rahma Ben}",
year = "2007",
doi = "10.1109/HICSS.2007.568",
language = "English (US)",
isbn = "0769527558",
series = "Proceedings of the Annual Hawaii International Conference on System Sciences",
publisher = "IEEE Computer Society",
pages = "281--290",
booktitle = "Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07",
address = "United States",
note = "40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07 ; Conference date: 03-01-2007 Through 06-01-2007",
}