Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
Nobuko Yoshida · Electronic Notes in Theoretical Computer Science · 2006
This paper sketches an idea on how to challenge the three security issues concentrating on code mobility, by the development of a general theory of types of the π-calculus and the higher-order π-calculus; and how to apply it for designing secure concurrent and distributed programming languages.