A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
2006
Electronical Notes in Theoretical Computer Science
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.
doi:10.1016/j.entcs.2005.12.115
fatcat:nuyji5iylbgeli36wjrmm6g35a