TU Darmstadt / ULB / TUbiblio

Possibilistic Definitions of Security -- An Assembly Kit

Mantel, Heiko (2000):
Possibilistic Definitions of Security -- An Assembly Kit.
In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, IEEE Computer Society, [Conference or Workshop Item]

Abstract

We present a framework in which different notions of securitycan be defined in a uniform and modular way. Eachdefinition of security is formalized as a security predicateby assembling more primitive basic security predicates. Acollection of such basic security predicates is defined andwe demonstrate how well-known concepts like generalizednon-interference or separability can be constructed fromthem. The framework is open and can be extended with newbasic security predicates using a general schema. We investigatethe compatibility of the assembled definitions withsystem properties apart from security and propose a newdefinition of security which does not restrict non-criticalinformation flow. It turns out that the modularity of ourframework simplifies these investigation. Finally, we discussthe stepwise development of secure systems.

Item Type: Conference or Workshop Item
Erschienen: 2000
Creators: Mantel, Heiko
Title: Possibilistic Definitions of Security -- An Assembly Kit
Language: ["languages_typename_1" not defined]
Abstract:

We present a framework in which different notions of securitycan be defined in a uniform and modular way. Eachdefinition of security is formalized as a security predicateby assembling more primitive basic security predicates. Acollection of such basic security predicates is defined andwe demonstrate how well-known concepts like generalizednon-interference or separability can be constructed fromthem. The framework is open and can be extended with newbasic security predicates using a general schema. We investigatethe compatibility of the assembled definitions withsystem properties apart from security and propose a newdefinition of security which does not restrict non-criticalinformation flow. It turns out that the modularity of ourframework simplifies these investigation. Finally, we discussthe stepwise development of secure systems.

Title of Book: Proceedings of the 13th IEEE Computer Security Foundations Workshop
Publisher: IEEE Computer Society
Divisions: 20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
20 Department of Computer Science
Date Deposited: 31 Dec 2016 09:57
Identification Number: mantel:possibilistic-definitions-of-security--an-assembly-kit:2000
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item