Gilles Barthe Lennart Beringer Pierre Crégut Benjamin Grégoire Martin Hofmann Peter Müller Erik Poll Germán Puebla Ian Stark Eric Vétillard MOBIUS: Mobility, Ubiquity, Security. 10-29 2006 conf/tgc/2006 TGC http://dx.doi.org/10.1007/978-3-540-75336-0_2 db/conf/tgc/tgc2006.html#BartheBCGHMPPSV06