Adaptive Security Policies

Flemming Nielson; René Rydhof Hansen; Hanne Riis Nielson

doi:10.1007/978-3-030-61470-6_17

Adaptive Security Policies

Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-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 language	English
Title of host publication	Engineering Principles
Publisher	Springer
Publication date	2020
Pages	280-294
ISBN (Print)	978-3-030-61469-0
DOIs	https://doi.org/10.1007/978-3-030-61470-6_17
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	Greece
Period	20/10/2020 → 30/10/2020
Other	Postponed to October 2021 due to Covid-19
Internet address	http://www.isola-conference.org/

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12477
ISSN	0302-9743

Access to Document

10.1007/978-3-030-61470-6_17

FulltextAccepted author manuscript, 364 KB

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

Cite this

@inbook{8015476b6bd7465087f3ac22bab59715,

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}",

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "280--294",

booktitle = "Engineering Principles",

note = "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020, ISoLA 2020 ; Conference date: 20-10-2020 Through 30-10-2020",

url = "http://www.isola-conference.org/",

}

Nielson, F, Hansen, RR & Nielson, HR 2020, Adaptive Security Policies. in Engineering Principles. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12477, pp. 280-294, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020, Greece, 20/10/2020. https://doi.org/10.1007/978-3-030-61470-6_17

Adaptive Security Policies. / Nielson, Flemming; Hansen, René Rydhof; Nielson, Hanne Riis.

Engineering Principles. Springer, 2020. p. 280-294 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12477).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

TY - CHAP

T1 - Adaptive Security Policies

AU - Nielson, Flemming

AU - Hansen, René Rydhof

AU - Nielson, Hanne Riis

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-030-61470-6_17

DO - 10.1007/978-3-030-61470-6_17

M3 - Book chapter

SN - 978-3-030-61469-0

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 280

EP - 294

BT - Engineering Principles

PB - Springer

T2 - International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2020

Y2 - 20 October 2020 through 30 October 2020

ER -