Gilles Barthe Heiko Mantel Peter Müller Andrew C. Myers Andrei Sabelfeld 07091 Abstracts Collection - Mobility, Ubiquity and Security. 2007 Mobility, Ubiquity and Security http://drops.dagstuhl.de/opus/volltexte/2007/1102 conf/dagstuhl/2007P7091 db/conf/dagstuhl/P7091.html#BartheMMMS07a