The Anatomy and Facets of Dynamic Policies. Broberg, N., van Delft, B., & Sands, D. In Proceedings of the 28th IEEE Computer Security Foundations Symposium, pages 122--136, 2015. IEEE Computer Society. ![The Anatomy and Facets of Dynamic Policies [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper abstract bibtex 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.
@inproceedings{Broberg+:CSF15,
author = {Niklas Broberg and van Delft, Bart and David Sands},
title = {The Anatomy and Facets of Dynamic Policies},
booktitle = {Proceedings of the 28th IEEE Computer Security Foundations
Symposium},
publisher = {IEEE Computer Society},
address = {},
year = 2015,
pages = {122--136},
url_Paper = {http://www.cse.chalmers.se/~dave/papers/POST15.pdf},
abstract = {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.}
}
Downloads: 0
{"_id":"dNwzpZJFusLjBkaax","bibbaseid":"broberg-vandelft-sands-theanatomyandfacetsofdynamicpolicies-2015","downloads":0,"creationDate":"2017-02-03T08:24:26.766Z","title":"The Anatomy and Facets of Dynamic Policies","author_short":["Broberg, N.","van Delft, B.","Sands, D."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.cse.chalmers.se/~dave/davewww2016.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Niklas"],"propositions":[],"lastnames":["Broberg"],"suffixes":[]},{"propositions":["van"],"lastnames":["Delft"],"firstnames":["Bart"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]}],"title":"The Anatomy and Facets of Dynamic Policies","booktitle":"Proceedings of the 28th IEEE Computer Security Foundations Symposium","publisher":"IEEE Computer Society","address":"","year":"2015","pages":"122--136","url_paper":"http://www.cse.chalmers.se/~dave/papers/POST15.pdf","abstract":"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.","bibtex":"@inproceedings{Broberg+:CSF15,\n author = {Niklas Broberg and van Delft, Bart and David Sands},\n title = {The Anatomy and Facets of Dynamic Policies},\n booktitle = {Proceedings of the 28th IEEE Computer Security Foundations\n\t\t Symposium},\n publisher = {IEEE Computer Society},\n address = {},\n year = 2015,\n pages = {122--136},\nurl_Paper = \t {http://www.cse.chalmers.se/~dave/papers/POST15.pdf},\n abstract = {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.} \n}\n\n","author_short":["Broberg, N.","van Delft, B.","Sands, D."],"key":"Broberg+:CSF15","id":"Broberg+:CSF15","bibbaseid":"broberg-vandelft-sands-theanatomyandfacetsofdynamicpolicies-2015","role":"author","urls":{" paper":"http://www.cse.chalmers.se/~dave/papers/POST15.pdf"},"downloads":0},"search_terms":["anatomy","facets","dynamic","policies","broberg","van delft","sands"],"keywords":[],"authorIDs":["58943e3a2f18920f4c000022"],"dataSources":["SBHWXKotbthoEYKJv"]}