Types for Security in a Mobile World - Compagnoni, Adriana B.; Gunter, Elsa L. (Lecture Notes in Computer Science ; Trustworthy Global Computing ; page 75-97 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540300076 9783540314837, 2005)