@Proceedings{ barthe.ea:executive:2007, editor = {Gilles Barthe and Heiko Mantel and Peter M\"uller and Andrew C. Myers and Andrei Sabelfeld}, publisher = {Dagstuhl}, title = {Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security}, year = 2007 }