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’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.
|Titel||Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings|
|Redaktører||Tiziana Margaria, Bernhard Steffen|
|Status||Udgivet - 2020|
|Begivenhed||9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 - Rhodes, Grækenland|
Varighed: 20 okt. 2020 → 30 okt. 2020
|Konference||9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020|
|Periode||20/10/2020 → 30/10/2020|
|Navn||Lecture Notes in Computer Science|
Bibliografisk noteFunding 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.
© 2020, Springer Nature Switzerland AG.
Copyright 2020 Elsevier B.V., All rights reserved.