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’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.
Original language | English |
---|---|
Title of host publication | Engineering Principles |
Publisher | Springer |
Publication date | 2020 |
Pages | 280-294 |
ISBN (Print) | 978-3-030-61469-0 |
DOIs | |
Publication status | Published - 2020 |
Event | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020 - Virtual event - POSTPONED TO 2021!, Greece Duration: 20 Oct 2020 → 30 Oct 2020 http://www.isola-conference.org/ |
Conference
Conference | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020 |
---|---|
Location | Virtual event - POSTPONED TO 2021! |
Country/Territory | Greece |
Period | 20/10/2020 → 30/10/2020 |
Other | Postponed to October 2021 due to Covid-19 |
Internet address |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12477 |
ISSN | 0302-9743 |