G. Barthe, H. Mantel, P. Müller, A. Myers, and A. Sabelfeld. Mobility, Ubiquity and Security, volume 07091 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
G. Barthe, H. Mantel, P. Müller, A. Myers, and A. Sabelfeld. Mobility, Ubiquity and Security, volume 07091 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)