5 Search Results for "Etalle, Sandro"

Document
DOI: 10.4230/LITES.8.2.2
Swarms of Mobile Robots: Towards Versatility with Safety

Authors: Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, and Xavier Urbain

Published in: LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2

Abstract
We present Pactole, a formal framework to design and prove the correctness of protocols (or the impossibility of their existence) that target mobile robotic swarms. Unlike previous approaches, our methodology unifies in a single formalism the execution model, the problem specification, the protocol, and its proof of correctness. The Pactole framework makes use of the Coq proof assistant, and is specially targeted at protocol designers and problem specifiers, so that a common unambiguous language is used from the very early stages of protocol development. We stress the underlying framework design principles to enable high expressivity and modularity, and provide concrete examples about how the Pactole framework can be used to tackle actual problems, some previously addressed by the Distributed Computing community, but also new problems, while being certified correct.
Cite as

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, and Xavier Urbain. Swarms of Mobile Robots: Towards Versatility with Safety. In LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2, pp. 02:1-02:36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@Article{courtieu_et_al:LITES.8.2.2,
  author =	{Courtieu, Pierre and Rieg, Lionel and Tixeuil, S\'{e}bastien and Urbain, Xavier},
  title =	{{Swarms of Mobile Robots: Towards Versatility with Safety}},
  journal =	{Leibniz Transactions on Embedded Systems},
  pages =	{02:1--02:36},
  ISSN =	{2199-2002},
  year =	{2022},
  volume =	{8},
  number =	{2},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.2},
  URN =		{urn:nbn:de:0030-drops-192942},
  doi =		{10.4230/LITES.8.2.2},
  annote =	{Keywords: distributed algorithm, mobile autonomous robots, formal proof}
}
Document
DOI: 10.4230/DagSemProc.10141.1
10141 Abstracts Collection – Distributed Usage Control

Authors: Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, and Marianne Winslett

Published in: Dagstuhl Seminar Proceedings, Volume 10141, Distributed Usage Control (2010)

Abstract
From 06.04. to 09.04.2010, the Dagstuhl Seminar 10141 ``Distributed Usage Control '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, and Marianne Winslett. 10141 Abstracts Collection – Distributed Usage Control. In Distributed Usage Control. Dagstuhl Seminar Proceedings, Volume 10141, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{etalle_et_al:DagSemProc.10141.1,
  author =	{Etalle, Sandro and Pretschner, Alexander and Sandhu, Ravi S. and Winslett, Marianne},
  title =	{{10141 Abstracts Collection – Distributed Usage Control}},
  booktitle =	{Distributed Usage Control},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10141},
  editor =	{Sandro Etalle and Alexander Pretschner and Raiv S. Sandhu and Marianne Winslett},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10141.1},
  URN =		{urn:nbn:de:0030-drops-27185},
  doi =		{10.4230/DagSemProc.10141.1},
  annote =	{Keywords: Usage control, access control, data protection, privacy, security policies, trust, trusted computing, compliance, DRM, information flow}
}
Document
DOI: 10.4230/DagSemProc.10141.2
10141 Summary – Distributed Usage Control

Authors: Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, and Marianne Winslett

Published in: Dagstuhl Seminar Proceedings, Volume 10141, Distributed Usage Control (2010)

Abstract
We summarize Dagstuhl seminar 10141 on Distributed Usage Control.
Cite as

Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, and Marianne Winslett. 10141 Summary – Distributed Usage Control. In Distributed Usage Control. Dagstuhl Seminar Proceedings, Volume 10141, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{etalle_et_al:DagSemProc.10141.2,
  author =	{Etalle, Sandro and Pretschner, Alexander and Sandhu, Ravi S. and Winslett, Marianne},
  title =	{{10141 Summary – Distributed Usage Control}},
  booktitle =	{Distributed Usage Control},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10141},
  editor =	{Sandro Etalle and Alexander Pretschner and Raiv S. Sandhu and Marianne Winslett},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10141.2},
  URN =		{urn:nbn:de:0030-drops-27174},
  doi =		{10.4230/DagSemProc.10141.2},
  annote =	{Keywords: Usage control, access control, data protection, privacy, security policies, trust, trusted computing, compliance, DRM, information flow}
}
Document
DOI: 10.4230/DagSemProc.10141.3
Enforcement of Individual Privacy Policies by Communication Service Providers

Authors: Michael Marhoefer and Robert Seidl

Published in: Dagstuhl Seminar Proceedings, Volume 10141, Distributed Usage Control (2010)

Abstract
This talk has two parts: 1. Report on adding Individual Privacy Policies to NSN’s Research Prototype for IDM 2. Challenge for Research in Access/Usage Control: “How to control in Web 2.0 the flow of PII bypassing today’s IDM”
Cite as

Michael Marhoefer and Robert Seidl. Enforcement of Individual Privacy Policies by Communication Service Providers. In Distributed Usage Control. Dagstuhl Seminar Proceedings, Volume 10141, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{marhoefer_et_al:DagSemProc.10141.3,
  author =	{Marhoefer, Michael and Seidl, Robert},
  title =	{{Enforcement of Individual Privacy Policies by Communication Service Providers}},
  booktitle =	{Distributed Usage Control},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10141},
  editor =	{Sandro Etalle and Alexander Pretschner and Raiv S. Sandhu and Marianne Winslett},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10141.3},
  URN =		{urn:nbn:de:0030-drops-27151},
  doi =		{10.4230/DagSemProc.10141.3},
  annote =	{Keywords: Privacy identity IdP browser online-privacy Web 2.0 Communication Service Provider}
}
Document
DOI: 10.4230/DagSemProc.10141.4
FORTES: Forensic Information Flow Analysis of Business Processes

Authors: Rafael Accorsi and Günter Müller

Published in: Dagstuhl Seminar Proceedings, Volume 10141, Distributed Usage Control (2010)

Abstract
Nearly 70% of all business processes in use today rely on automated workflow systems for their execution. Despite the growing expenses in the design of advanced tools for secure and compliant deployment of workflows, an exponential growth of dependability incidents persists. Concepts beyond access control focusing on information flow control offer new paradigms to design security mechanisms for reliable and secure IT-based workflows. This talk presents FORTES, an approach for the forensic analysis of information flow properties. FORTES claims that information flow control can be made usable as a core of an audit-control system. For this purpose, it reconstructs workflow models from secure log files (i.e. execution traces) and, applying security policies, analyzes the information flows to distinguish security relevant from security irrelevant information flows. FORTES thus cannot prevent security policy violations, but by detecting them with well-founded analysis, improve the precision of audit controls and the generated certificates.
Cite as

Rafael Accorsi and Günter Müller. FORTES: Forensic Information Flow Analysis of Business Processes. In Distributed Usage Control. Dagstuhl Seminar Proceedings, Volume 10141, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{accorsi_et_al:DagSemProc.10141.4,
  author =	{Accorsi, Rafael and M\"{u}ller, G\"{u}nter},
  title =	{{FORTES: Forensic Information Flow Analysis of Business Processes}},
  booktitle =	{Distributed Usage Control},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10141},
  editor =	{Sandro Etalle and Alexander Pretschner and Raiv S. Sandhu and Marianne Winslett},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10141.4},
  URN =		{urn:nbn:de:0030-drops-27167},
  doi =		{10.4230/DagSemProc.10141.4},
  annote =	{Keywords: Audit, Information flow analysis, business processes}
}
  • Refine by Type
  • 5 Document/PDF

  • Refine by Publication Year
  • 1 2022
  • 4 2010

  • Refine by Author
  • 2 Etalle, Sandro
  • 2 Pretschner, Alexander
  • 2 Sandhu, Ravi S.
  • 2 Winslett, Marianne
  • 1 Accorsi, Rafael
  • Show More...

  • Refine by Series/Journal
  • 1 LITES
  • 4 DagSemProc

  • Refine by Classification
  • 1 Software and its engineering → Formal methods
  • 1 Theory of computation → Distributed computing models
  • 1 Theory of computation → Logic
  • 1 Theory of computation → Program reasoning
  • 1 Theory of computation → Self-organization

  • Refine by Keyword
  • 2 DRM
  • 2 Usage control
  • 2 access control
  • 2 compliance
  • 2 data protection
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact