Adaptive Security Policies

Flemming Nielson*, René Rydhof Hansen, Hanne Riis Nielson

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

Abstrakt

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.
OriginalsprogEngelsk
TitelLeveraging Applications of Formal Methods, Verification and Validation : Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings
RedaktørerTiziana Margaria, Bernhard Steffen
Antal sider15
ForlagSpringer
Publikationsdato2020
Sider280-294
ISBN (Trykt)978-3-030-61469-0
ISBN (Elektronisk)978-3-030-61470-6
DOI
StatusUdgivet - 2020
Begivenhed9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 - Rhodes, Grækenland
Varighed: 20 okt. 202030 okt. 2020

Konference

Konference9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020
LandGrækenland
ByRhodes
Periode20/10/202030/10/2020
NavnLecture Notes in Computer Science
Vol/bind12477
ISSN0302-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.

Fingeraftryk Dyk ned i forskningsemnerne om 'Adaptive Security Policies'. Sammen danner de et unikt fingeraftryk.

Citationsformater