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
.
Language Issues in Mobile Program Security
[chapter]
1998
Lecture Notes in Computer Science
Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspect of any mobile code technology, it is often treated after the fundamental design is complete, in ad hoc ways. In the end, it is unclear what security guarantees can be made for the system. We argue that mobile programming languages should be designed around certain security properties that hold for all well-formed programs.
doi:10.1007/3-540-68671-1_3
fatcat:d7znuwyxzfasndcoy3y5fiyyya