Adriana B. Compagnoni, Elsa L. Gunter: Types for Security in a Mobile World. TGC 2005: 75-97