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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/HICSS.2007.568 | HICSS |
Keywords | Field | DocType |
survivability,logical argument,modern logic,computational society,engineering discipline,integrity,reliability,fault tolerance.,algebraic structure,dependability,security,model security attribute,logical proposition,safety,mathematical analysis,verification,security attribute,testing,george boole,logical reasoning,formal mathematical proposition,computable security attributes,fault tolerant,mathematical models,computer security,mathematical logic,fault tolerance,mathematical model,refinement calculus | Logical reasoning,Dependability,Survivability,Argument,Realm,Refinement calculus,Computer science,Algebraic structure,Management science,Mathematical logic | Conference |
ISBN | Citations | PageRank |
0-7695-2755-8 | 0 | 0.34 |
References | Authors | |
9 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ali Mili | 1 | 1067 | 127.61 |
Alex Vinokurov | 2 | 2 | 0.87 |
Lamia Labed Jilani | 3 | 79 | 14.91 |
Frederick Sheldon | 4 | 86 | 16.46 |
Rahma Ben Ayed | 5 | 27 | 11.30 |