Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Barthe, Gilles; Mantel, Heiko; Müller, Peter; Myers, Andrew C.; Sabelfeld, Andrei License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-11017
URL:

; ; ; ;

07091 Executive Summary -- Mobility, Ubiquity and Security

pdf-format:


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
Seminar: 07091 - Mobility, Ubiquity and Security
Issue date: 2007
Date of publication: 03.07.2007


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