.png){kind=icon}
.png){kind=icon}
Return
On a formal framework for security properties
.png){kind=icon}
PRE
AI
DOI：10.1016/j.csi.2005.01.004.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
A new approach to property-based characterisation of security requirements is presented. The main goal is to provide a framework for the specification of a wide variety of security requirements with formal semantics in terms of security properties of a discrete model of a system. In contrast to previous approaches it is not focused on a special type of security property. The classical concept of properties comprising safety and liveness properties is extended to include security properties. Formalisations of authenticity, different types of non-repudiation and confidentiality are presented within the framework. Several examples illustrate the flexibility of this approach. (c) 2005 Elsevier B.V. All rights reserved.
Keywords:
security requirements
formal security models
security properties
Journal
C
IF:
3.1
Papers:
2.3K
Citations:
2.0K
Organization
No organization information available