Gilles Barthe Heiko Mantel Peter Müller Andrew C. Myers Andrei Sabelfeld Mobility, Ubiquity and Security 07091 2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P7091.html http://drops.dagstuhl.de/portals/07091/