CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

The Anatomy and Facets of Dynamic Policies

Niklas Broberg (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Bart van Delft (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; David Sands (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
28th IEEE Computer Security Foundations Symposium (CSF), July 13-17, 2015, Verona, Italy p. 122-136. (2015)
[Konferensbidrag, refereegranskat]

Information flow policies are often dynamic; the security concerns of a program will typically change during execution to reflect security-relevant events. A key challenge is how to best specify, and give proper meaning to, such dynamic policies. A large number of approaches exist that tackle that challenge, each yielding some important, but unconnected, insight. In this work we synthesise existing knowledge on dynamic policies, with an aim to establish a common terminology, best practices, and frameworks for reasoning about them. We introduce the concept of facets to illuminate subtleties in the semantics of policies, and closely examine the anatomy of policies and the expressiveness of policy specification mechanisms. We further explore the relation between dynamic policies and the concept of declassification.

Nyckelord: information flow control, dynamic policies, facets, declassification



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2016-01-18. Senast ändrad 2016-08-23.
CPL Pubid: 230832

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)