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

^*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

1 Citationer (Scopus)

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

Originalsprog	Engelsk
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
Antal sider	15
Forlag	Springer
Publikationsdato	2020
Sider	280-294
ISBN (Trykt)	978-3-030-61469-0
ISBN (Elektronisk)	978-3-030-61470-6
DOI	https://doi.org/10.1007/978-3-030-61470-6_17
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

Konference	9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020
Land/Område	Grækenland
By	Rhodes
Periode	20/10/2020 → 30/10/2020

Navn	Lecture Notes in Computer Science
Vol/bind	12477
ISSN	0302-9743

Bibliografisk 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:
© 2020, Springer Nature Switzerland AG.

Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.

Adgang til dokumentet

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

Accepted author manuscriptAccepteret manuskript, 944 KB

https://orbit.dtu.dk/files/238027779/2020_Adaptive_Security_Policies.pdf

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

Nielson, F., Hansen, R. R., & Nielson, H. R. (2020). Adaptive Security Policies. I T. Margaria, & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (s. 280-294). Springer. https://doi.org/10.1007/978-3-030-61470-6_17

Nielson, Flemming ; Hansen, René Rydhof ; Nielson, Hanne Riis. / Adaptive Security Policies. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. red. / Tiziana Margaria ; Bernhard Steffen. Springer, 2020. s. 280-294 (Lecture Notes in Computer Science, Bind 12477).

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

}

Nielson, F, Hansen, RR & Nielson, HR 2020, Adaptive Security Policies. i T Margaria & B Steffen (red), Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Springer, Lecture Notes in Computer Science, bind 12477, s. 280-294, 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Rhodes, Grækenland, 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.
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. red. / Tiziana Margaria; Bernhard Steffen. Springer, 2020. s. 280-294 (Lecture Notes in Computer Science, Bind 12477).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Adaptive Security Policies

AU - Nielson, Flemming

AU - Hansen, René Rydhof

AU - Nielson, Hanne Riis

N1 - 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: © 2020, Springer Nature Switzerland AG. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.

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.

UR - http://www.scopus.com/inward/record.url?scp=85096527479&partnerID=8YFLogxK

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

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

M3 - Article in proceeding

AN - SCOPUS:85096527479

SN - 978-3-030-61469-0

T3 - Lecture Notes in Computer Science

SP - 280

EP - 294

BT - Leveraging Applications of Formal Methods, Verification and Validation

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

T2 - 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020

Y2 - 20 October 2020 through 30 October 2020

ER -

Nielson F, Hansen RR, Nielson HR. Adaptive Security Policies. I Margaria T, Steffen B, red., Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Springer. 2020. s. 280-294. (Lecture Notes in Computer Science, Bind 12477). doi: 10.1007/978-3-030-61470-6_17

Adaptive Security Policies

Abstract

Konference

Bibliografisk note

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater