Verifying security policies in multi-agentworkflows with loops

Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zãlinescu

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

24 Zitate (Scopus)

Abstract

We consider the automatic verification of information flow security policies of web-based workflows, such as conference submission systems like EasyChair. Our workflow description language allows for loops, non-deterministic choice, and an unbounded number of participating agents. The information flow policies are specified in a temporal logic for hyperproperties. We show that the verification problem can be reduced to the satisfiability of a formula of firstorder linear-time temporal logic, and provide decidability results for relevant classes of workflows and specifications. We report on experimental results obtained with an implementation of our approach on a series of benchmarks.

OriginalspracheEnglisch
TitelCCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security
Herausgeber (Verlag)Association for Computing Machinery
Seiten633-645
Seitenumfang13
ISBN (elektronisch)9781450349468
DOIs
PublikationsstatusVeröffentlicht - 30 Okt. 2017
Extern publiziertJa
Veranstaltung24th ACM SIGSAC Conference on Computer and Communications Security, CCS 2017 - Dallas, USA/Vereinigte Staaten
Dauer: 30 Okt. 20173 Nov. 2017

Publikationsreihe

NameProceedings of the ACM Conference on Computer and Communications Security
ISSN (Print)1543-7221

Konferenz

Konferenz24th ACM SIGSAC Conference on Computer and Communications Security, CCS 2017
Land/GebietUSA/Vereinigte Staaten
OrtDallas
Zeitraum30/10/173/11/17

Fingerprint

Untersuchen Sie die Forschungsthemen von „Verifying security policies in multi-agentworkflows with loops“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren