Accession Number : ADA484462


Title :   Language Issues in Mobile Program Security


Descriptive Note : Conference paper


Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE


Personal Author(s) : Volpano, Dennis ; Smith, Geoffrey


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a484462.pdf


Report Date : Jan 1998


Pagination or Media Count : 20


Abstract : Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is 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. This requires a better understanding of the relationship between programming language design and security. Appropriate security properties must be identified. Some of these properties and related issues are explored.


Descriptors :   *COMPUTER PROGRAMS , *PROGRAMMING LANGUAGES , GUARANTEES , CODING , MOBILE , SECURITY


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE