@inproceedings{8738fcd1eb0844088c74ef147c922ae0,
title = "Adaptive Security Policies",
abstract = "We develop an approach to security of adaptive agents that is based on respecting the local security policies of agents rather than imposing a global security policy on all agents. In short, an agent can be assured, that it will not be able to observe any violation of its own security policy due to the changing presence of other agents in its environment. The development is performed for a version of Dijkstra{\textquoteright}s Guarded Commands with relocation primitives, channel based communication, and explicit non-determinism. At the technical level a type system enforces local security policies whereas a reference monitor ensures that relocation is permissible with local security of all agents.",
author = "Flemming Nielson and Hansen, {Ren{\'e} Rydhof} and Nielson, {Hanne Riis}",
note = "Funding Information: Acknowledgement. The first author was supported in part by the EU H2020-SU-ICT-03-2018 Project No. 830929 CyberSec4Europe (cybersec4europe.eu). The third author is currently on leave from the Department of Mathematics and Computer Science, Technical University of Denmark, Kgs. Lyngby, Denmark. Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 ; Conference date: 20-10-2020 Through 30-10-2020",
year = "2020",
doi = "10.1007/978-3-030-61470-6_17",
language = "English",
isbn = "978-3-030-61469-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "280--294",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
address = "Germany",
}