4 Search Results for "Hanne, Thomas"

Document
DOI: 10.4230/LIPIcs.TIME.2017.21
Time Dependent Policy-Based Access Control

Authors: Panagiotis Vasilikos, Flemming Nielson, and Hanne Riis Nielson

Published in: LIPIcs, Volume 90, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)

Abstract
Access control policies are essential to determine who is allowed to access data in a system without compromising the data's security. However, applications inside a distributed environment may require those policies to be dependent on the actual content of the data, the flow of information, while also on other attributes of the environment such as the time. In this paper, we use systems of Timed Automata to model distributed systems and we present a logic in which one can express time-dependent policies for access control. We show how a fragment of our logic can be reduced to a logic that current model checkers for Timed Automata such as UPPAAL can handle and we present a translator that performs this reduction. We then use our translator and UPPAAL to enforce time-dependent policy-based access control on an example application from the aerospace industry.
Cite as

Panagiotis Vasilikos, Flemming Nielson, and Hanne Riis Nielson. Time Dependent Policy-Based Access Control. In 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 90, pp. 21:1-21:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{vasilikos_et_al:LIPIcs.TIME.2017.21,
  author =	{Vasilikos, Panagiotis and Nielson, Flemming and Nielson, Hanne Riis},
  title =	{{Time Dependent Policy-Based Access Control}},
  booktitle =	{24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
  pages =	{21:1--21:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-052-1},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{90},
  editor =	{Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.21},
  URN =		{urn:nbn:de:0030-drops-79219},
  doi =		{10.4230/LIPIcs.TIME.2017.21},
  annote =	{Keywords: Access Control, Timed Automata, Time-Dependent Policies, UPPAAL}
}
Document
DOI: 10.4230/DagSemProc.08161.8
Towards Distributed Memory Parallel Program Analysis

Authors: Daniel J. Quinlan, Gergö Barany, and Thomas Panas

Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)

Abstract
Our work presents a parallel attribute evaluation for distributed memory parallel computer architectures where previously only shared memory parallel support for this technique has been developed. Attribute evaluation is a part of how attribute grammars are used for program analysis within modern compilers. Within this work, we have extended ROSE, a open compiler infrastructure, with a distributed memory parallel attribute evaluation mechanism to support user defined global program analysis required for some forms of security analysis which can not be addresses by a file by file view of large scale applications. As a result, user defined security analyzes may now run in parallel without the user having to specify the way data is communicated between processors. The automation of communication enables an extensible open-source parallel program analysis infrastructure.
Cite as

Daniel J. Quinlan, Gergö Barany, and Thomas Panas. Towards Distributed Memory Parallel Program Analysis. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{quinlan_et_al:DagSemProc.08161.8,
  author =	{Quinlan, Daniel J. and Barany, Gerg\"{o} and Panas, Thomas},
  title =	{{Towards Distributed Memory Parallel Program Analysis}},
  booktitle =	{Scalable Program Analysis},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8161},
  editor =	{Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.8},
  URN =		{urn:nbn:de:0030-drops-15685},
  doi =		{10.4230/DagSemProc.08161.8},
  annote =	{Keywords: Parallel computing, attribute evaluation, program analysis}
}
Document
DOI: 10.4230/DagSemProc.06161.10
Stochastic Process Algebra Models of a Circadian Clock

Authors: Jeremy T. Bradley and Thomas Thorne

Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)

Abstract
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques from different modelling paradigms, PEPA and stochastic $pi$-calculus.
Cite as

Jeremy T. Bradley and Thomas Thorne. Stochastic Process Algebra Models of a Circadian Clock. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{bradley_et_al:DagSemProc.06161.10,
  author =	{Bradley, Jeremy T. and Thorne, Thomas},
  title =	{{Stochastic Process Algebra Models of a Circadian Clock}},
  booktitle =	{Simulation and Verification of Dynamic Systems},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6161},
  editor =	{David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.10},
  URN =		{urn:nbn:de:0030-drops-7050},
  doi =		{10.4230/DagSemProc.06161.10},
  annote =	{Keywords: Stochastic process algebras, ODEs, Circadian clock}
}
Document
DOI: 10.4230/DagSemProc.04461.7
Application Issues for Multiobjective Evolutionary Algorithms

Authors: Thomas Hanne

Published in: Dagstuhl Seminar Proceedings, Volume 4461, Practical Approaches to Multi-Objective Optimization (2005)

Abstract
In the talk, various issues of the design and application of multiobjective evolutionary algorithms for real-life optimization problems are discussed. In particular, questions on problem-specific data structures and evolutionary operators and the determination of method parameters are treated. Three application examples in the areas of constrained global optimization (electronic circuit design), semi-infinite programming (design centering problems), and discrete optimization (project scheduling) are discussed.
Cite as

Thomas Hanne. Application Issues for Multiobjective Evolutionary Algorithms. In Practical Approaches to Multi-Objective Optimization. Dagstuhl Seminar Proceedings, Volume 4461, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{hanne:DagSemProc.04461.7,
  author =	{Hanne, Thomas},
  title =	{{Application Issues for Multiobjective Evolutionary Algorithms}},
  booktitle =	{Practical Approaches to Multi-Objective Optimization},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4461},
  editor =	{J\"{u}rgen Branke and Kalyanmoy Deb and Kaisa Miettinen and Ralph E. Steuer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04461.7},
  URN =		{urn:nbn:de:0030-drops-3443},
  doi =		{10.4230/DagSemProc.04461.7},
  annote =	{Keywords: Multiobjective optimization, Pareto set, evolutionary algorithm, discrete optimization, continuous optimization, electronic circuit design, semi-infin}
}
  • Refine by Author
  • 1 Barany, Gergö
  • 1 Bradley, Jeremy T.
  • 1 Hanne, Thomas
  • 1 Nielson, Flemming
  • 1 Nielson, Hanne Riis
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 1 Access Control
  • 1 Circadian clock
  • 1 Multiobjective optimization
  • 1 ODEs
  • 1 Parallel computing
  • Show More...

  • Refine by Type
  • 4 document

  • Refine by Publication Year
  • 1 2005
  • 1 2006
  • 1 2008
  • 1 2017

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

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