Adaptive Security Policies

Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

4 Downloads (Pure)

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 languageEnglish
Title of host publicationEngineering Principles
PublisherSpringer
Publication date2020
Pages280-294
ISBN (Print)978-3-030-61469-0
DOIs
Publication statusPublished - 2020
EventInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020 - Virtual event - POSTPONED TO 2021!, Greece
Duration: 20 Oct 202030 Oct 2020
http://www.isola-conference.org/

Conference

ConferenceInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020
LocationVirtual event - POSTPONED TO 2021!
CountryGreece
Period20/10/202030/10/2020
OtherPostponed to October 2021 due to Covid-19
Internet address
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12477
ISSN0302-9743

Fingerprint Dive into the research topics of 'Adaptive Security Policies'. Together they form a unique fingerprint.

Cite this