Towards an Engineering Discipline of Computational Society

Author

Mili, Ali ; Vinokurov, Alex ; Jilani, Lamia Labed ; Sheldon, Frederick T. ; Ayed, R.B.

Author_Institution

Coll. of Comput. Sci., New Jersey Inst. of Technol., Newark, NJ

fYear

2007

fDate

Jan. 2007

Firstpage

281

Lastpage

281

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

mathematical analysis; refinement calculus; security of data; algebraic structure; computational security; formal mathematical analysis; logical reasoning; model security attribute; refinement-like framework; Calculus; Certification; Computer science; Computer security; Educational institutions; Logic; Milling machines; National security; Safety; US Department of Energy; Computable security attributes; dependability; fault tolerance.; integrity; reliability; safety; security; survivability; testing; verification;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on

Conference_Location

Waikoloa, HI

ISSN

1530-1605

Electronic_ISBN

1530-1605

Type

conf

DOI

10.1109/HICSS.2007.568

Filename

4076952