pdf-format: |
|
@InProceedings{barthe_et_al:DSP:2007:1102, author = {Gilles Barthe and Heiko Mantel and Peter M{\"u}ller and Andrew C. Myers and Andrei Sabelfeld}, title = {07091 Abstracts Collection -- 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/1102}, 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 |