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