Copyright
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-11017
URL: http://drops.dagstuhl.de/opus/volltexte/2007/1101/
Barthe, Gilles ; Mantel, Heiko ; Müller, Peter ; Myers, Andrew C. ; Sabelfeld, Andrei

07091 Executive Summary -- Mobility, Ubiquity and Security

pdf-format:
Dokument 1.pdf (19 KB)

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:DSP:2007:1101,
  author =	{Gilles Barthe and Heiko Mantel and Peter M{\"u}ller and Andrew C. Myers and Andrei Sabelfeld},
  title =	{07091 Executive Summary -- Mobility, Ubiquity and Security},
  booktitle =	{Mobility, Ubiquity and Security},
  year =	{2007},
  editor =	{Gilles Barthe and Heiko Mantel and Peter M{\"u}ller and Andrew C. Myers and Andrei Sabelfeld},
  number =	{07091},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2007/1101},
  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
Documenttype: InProceedings
Issue date: 2007
Date of publication: 03.07.2007

DROPS-Home | Fulltext Search | Imprint Published by LZI