Issue
Dagstuhl Reports, Volume 4, Issue 12
-
Part of:
Volume:
Dagstuhl Reports, Volume 4
Journal: Dagstuhl Reports (DagRep)
Event
Dagstuhl Seminars 14491, 14492, 14511, 14512Publication Details
- published at: 2015-03-20
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports4
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 4, Issue 12, December 2014, Complete Issue
Abstract
Dagstuhl Reports, Volume 4, Issue 12, December 2014, Complete Issue
Cite as
Dagstuhl Reports, Volume 4, Issue 12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{DagRep.4.12,
title = {{Dagstuhl Reports, Volume 4, Issue 12, December 2014, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {12},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12},
URN = {urn:nbn:de:0030-drops-50099},
doi = {10.4230/DagRep.4.12},
annote = {Keywords: Dagstuhl Reports, Volume 4, Issue 12, December 2014, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 4, Issue 12, 2014
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 4, Issue 12, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{DagRep.4.12.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 4, Issue 12, 2014}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {12},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.i},
URN = {urn:nbn:de:0030-drops-50081},
doi = {10.4230/DagRep.4.12.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 4, Issue 12, 2014}
}
Document
Socio-Technical Security Metrics (Dagstuhl Seminar 14491)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14491 "Socio-Technical Security Metrics". In the domain of safety, metrics inform many decisions, from the height of new dikes to the design of nuclear plants. We can state, for example, that the dikes should be high enough to guarantee that a particular area will flood at most once every 1000 years. Even when considering the limitations of such numbers, they are useful in guiding policy. Metrics for the security of information systems have not reached the same maturity level. This is partly due to the nature of security risk, in which an adaptive attacker rather than nature causes the threat events. Moreover, whereas the human factor may complicate safety and security procedures alike, in security this "weakest link" may be actively exploited by an attacker, such as in phishing or social engineering. In order to measure security at the level of socio-technical systems, one therefore needs to compare online hacking against such social manipulations, since the attacker may simply take the easiest path. In this seminar, we searched for suitable metrics that allow us to estimate information security risk in a socio-technical context, as well as the costs and effectiveness of countermeasures. Working groups addressed different topics, including security as a science, testing and evaluation, social dynamics, models and economics. The working groups focused on three main questions: what are we interested in, how to measure it, and what to do with the metrics.
Cite as
Dieter Gollmann, Cormac Herley, Vincent Koenig, Wolter Pieters, and Martina Angela Sasse. Socio-Technical Security Metrics (Dagstuhl Seminar 14491). In Dagstuhl Reports, Volume 4, Issue 12, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{gollmann_et_al:DagRep.4.12.1,
author = {Gollmann, Dieter and Herley, Cormac and Koenig, Vincent and Pieters, Wolter and Sasse, Martina Angela},
title = {{Socio-Technical Security Metrics (Dagstuhl Seminar 14491)}},
pages = {1--28},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {12},
editor = {Gollmann, Dieter and Herley, Cormac and Koenig, Vincent and Pieters, Wolter and Sasse, Martina Angela},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.1},
URN = {urn:nbn:de:0030-drops-49744},
doi = {10.4230/DagRep.4.12.1},
annote = {Keywords: Security risk management, security metrics, socio-technical security, social engineering, multi-step attacks, return on security investment}
}
Document
The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)
Abstract
Increasingly, modern cryptography (crypto) has moved beyond the
problem of secure communication to a broader consideration of securing
computation. The past thirty years have seen a steady progression of
both theoretical and practical advances in designing cryptographic
protocols for problems such as secure multiparty computation,
searching and computing on encrypted data, verifiable storage and
computation, statistical data privacy, and more.
More recently, the programming-languages (PL) community has begun to
tackle the same set of problems, but from a different perspective,
focusing on issues such as language design (e.g., new features or type
systems), formal methods (e.g., model checking, deductive
verification, static and dynamic analysis), compiler optimizations,
and analyses of side-channel attacks and information leakage.
This seminar helped to cross-fertilize ideas between the PL and crypto
communities, exploiting the synergies for advancing the development of
secure computing, broadly speaking, and fostering new research
directions in and across both communities.
Cite as
Gilles Barthe, Michael Hicks, Florian Kerschbaum, and Dominique Unruh. The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492). In Dagstuhl Reports, Volume 4, Issue 12, pp. 29-47, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{barthe_et_al:DagRep.4.12.29,
author = {Barthe, Gilles and Hicks, Michael and Kerschbaum, Florian and Unruh, Dominique},
title = {{The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)}},
pages = {29--47},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {12},
editor = {Barthe, Gilles and Hicks, Michael and Kerschbaum, Florian and Unruh, Dominique},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.29},
URN = {urn:nbn:de:0030-drops-50045},
doi = {10.4230/DagRep.4.12.29},
annote = {Keywords: Security, Theory, Languages}
}
Document
Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511)
Abstract
This report documents the program and the outcomes of Dagstuhl
Seminar 14511 "Programming Languages for Big Data (PlanBig)". The
seminar was motivated by recent developments in programming
languages, databases, machine learning, and cloud computing, and
particularly by the opportunities offered by research drawing on
more than one of these areas. Participants included researchers
working in each of these areas and several who have previously been
involved in research in the intersection of databases and
programming languages. The seminar included talks, demos and free
time for discussion or collaboration. This report collects the
abstracts of talks and other activities, a summary of the group
discussions at the seminar, and a list of outcomes.
Cite as
James Cheney, Torsten Grust, and Dimitrios Vytiniotis. Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511). In Dagstuhl Reports, Volume 4, Issue 12, pp. 48-67, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{cheney_et_al:DagRep.4.12.48,
author = {Cheney, James and Grust, Torsten and Vytiniotis, Dimitrios},
title = {{Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511)}},
pages = {48--67},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {12},
editor = {Cheney, James and Grust, Torsten and Vytiniotis, Dimitrios},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.48},
URN = {urn:nbn:de:0030-drops-50055},
doi = {10.4230/DagRep.4.12.48},
annote = {Keywords: Programming languages, databases, data-centric computation, machine learning, cloud computing}
}
Document
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis". Besides presentations on current work in the area, the seminar focused on the following topics:
(i) Modelling techniques and languages for collective adaptive systems based on the above formalisms. (ii) Verification of collective adaptive systems. (iii) Humans-in-the-loop in collective adaptive systems.
Cite as
Jane Hillston, Jeremy Pitt, Martin Wirsing, and Franco Zambonelli. Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). In Dagstuhl Reports, Volume 4, Issue 12, pp. 68-113, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{hillston_et_al:DagRep.4.12.68,
author = {Hillston, Jane and Pitt, Jeremy and Wirsing, Martin and Zambonelli, Franco},
title = {{Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)}},
pages = {68--113},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {12},
editor = {Hillston, Jane and Pitt, Jeremy and Wirsing, Martin and Zambonelli, Franco},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.68},
URN = {urn:nbn:de:0030-drops-50066},
doi = {10.4230/DagRep.4.12.68},
annote = {Keywords: Collective Adaptive Systems, Qualitative and Quantitative Modelling and Analysis, Verification, Humans-In-The-Loop}
}