License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07091.2
URN: urn:nbn:de:0030-drops-11017
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/1101/
Go to the corresponding Portal

Barthe, Gilles ; Mantel, Heiko ; Müller, Peter ; Myers, Andrew C. ; Sabelfeld, Andrei

07091 Executive Summary -- Mobility, Ubiquity and Security

pdf-format:
07091_executive_summary.1101.pdf (0.02 MB)

Abstract

Increasing code mobility and ubiquity raises serious concerns about
the security of modern computing infrastructures. The focus of this
seminar was on securing computing systems by design and by construction.

BibTeX - Entry

@InProceedings{barthe_et_al:DagSemProc.07091.2,
  author =	{Barthe, Gilles and Mantel, Heiko and M\"{u}ller, Peter and Myers, Andrew C. and Sabelfeld, Andrei},
  title =	{{07091 Executive Summary – Mobility, Ubiquity and Security}},
  booktitle =	{Mobility, Ubiquity and Security},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7091},
  editor =	{Gilles Barthe and Heiko Mantel and Peter M\"{u}ller and Andrew C. Myers and Andrei Sabelfeld},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/1101},
  URN =		{urn:nbn:de:0030-drops-11017},
  doi =		{10.4230/DagSemProc.07091.2},
  annote =	{Keywords: Mobility, confidentiality, integrity, availability, type systems, static analysis, information flow, cryptography, proof-carrying code}
}

Keywords: Mobility, confidentiality, integrity, availability, type systems, static analysis, information flow, cryptography, proof-carrying code
Collection: 07091 - Mobility, Ubiquity and Security
Issue Date: 2007
Date of publication: 03.07.2007

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI