Towards an engineering discipline of computational security

Document Type

Conference Proceeding

Publication Date

1-1-2007

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. ©2007 IEEE.

Identifier

39749157215 (Scopus)

ISBN

[0769527558, 9780769527550]

Publication Title

Proceedings of the Annual Hawaii International Conference on System Sciences

External Full Text Location

https://doi.org/10.1109/HICSS.2007.568

ISSN

15301605

First Page

281

Last Page

290

This document is currently not available here.

Share

COinS