Dennis Volpano, Geoffrey Smith  Home/Search
Context Related
| fiu.edu/~smithg/papers/lncs98.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fiu.edu/~smithg/papers/ (more) Homepages: G.Smith |
Rate this article:      (best)Comment on this article |
Abstract: Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important issue... (Update)
Context of citations to this paper: More
.... as sandbox security in the Java programming language [5] software fault isolation [19] proof carrying code [12] and type safe languages [18]. Code security is however more problematic, since this aspect has only come into prominence recently as a security problem unique to...
.... the loss of precision incurred by control AEow insensitivity is not acceptable for some applications, such as information AEow analysis [19]. Indeed, consider a slightly modied version of our rst example: x=secret; x=public; It is approximated by the set fpublic; secretg so...
Cited by: More
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (Correct)
JPolicy: A Java Extension for Dynamic Access Control - Owen, Wakeman, Rathke (2004) (Correct)
Static Reduction Analysis for Imperative Object Oriented.. - Barthe, Serpette (Correct)
Similar documents (at the sentence level):
70.1%: Language Issues in Mobile Program Security - Volpano, Smith (1998) (Correct)
Active bibliography (related documents): More All
0.5: Confinement Properties for Multi-Threaded Programs - Smith (1999) (Correct)
0.5: Probabilistic Noninterference in a Concurrent Language - Volpano, Smith (1998) (Correct)
0.3: A Sound Polymorphic Type System for a Dialect of C - Smith, Volpano (1998) (Correct)
Similar documents based on text: More All
0.6: A Type-Based Approach to Program Security - Volpano, Smith (1997) (Correct)
0.5: Polymorphic Typing of Variables and References - Smith, Volpano (Correct)
0.5: On the Systematic Design of Web Languages - Volpano, Smith (1996) (Correct)
Related documents from co-citation: More All
10: Secrecy by typing in security protocols - Abadi - 1997
9: A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
9: Certification of programs for secure information flow (context) - Denning, Denning - 1977
BibTeX entry: (Update)
Dennis Volpano and Geoffrey Smith. Language issues in mobile program security. In Giovanni Vigna, editor, Mobile Agents and Security, volume 1419 of Lecture Notes in Computer Science, pages 25--43. Springer Verlag, 1998. http://citeseer.ist.psu.edu/volpano98language.html More
@inproceedings{ volpano98language,
author = "Dennis Volpano and Geoffrey Smith",
title = "Language Issues in Mobile Program Security",
series = "Lecture Notes in Computer Science",
volume = "1419",
pages = "25+",
year = "1998",
url = "citeseer.ist.psu.edu/volpano98language.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula, Lee - 1997
447 Exokernel: An operating system architecture for applicationl.. - Engler - 1995
412 A survey of active network research - Tennenhouse, Smith et al. - 1997
400 safety and performance in the SPIN operating system (context) - Bershad - 1995
161 Timing attacks on implementations of Die-Hellman (context) - Kocher - 1996
120 Integrity considerations for secure computer systems (context) - Biba - 1977
92 Going beyond the sandbox: An overview of the new security ar.. - Gong, Mueller et al. - 1997
85 Formal models for computer security (context) - Landwehr - 1981
76 Programming languages for mobile code - Thorn - 1997
72 A type-based approach to program security - Volpano, rey - 1997
68 Computer security technology planning study (context) - Anderson - 1972
66 Security properties of typed applets - Leroy, Rouaix - 1998
54 The ACTIVE IP option - Wetherall, Tennenhouse - 1996
48 A sanctuary for mobile agents - Yee - 1997
44 Java is not type-safe - Saraswat - 1997
38 Secure information ow in a multi-threaded imperative languag.. (context) - rey, Dennis - 1998
33 Probabilistic interference (context) - Gray - 1990
27 A sound type system for secure ow analysis (context) - Volpano, rey et al. - 1996
22 Secure Information Flow in Computer Systems (context) - Denning - 1975
22 Language support for extensible operating systems - Hsieh - 1996
21 A logical approach to multilevel security of probabilistic s.. - Gray, Syverson - 1992
16 Certi cation of programs for secure information ow (context) - Denning, Denning - 1977
16 Towards an ML-style polymorphic type system for C - rey, Dennis - 1996
14 A sound polymorphic type system for a dialect of C - rey, Dennis - 1998
14 A simpli ed account of polymorphic references (context) - Harper - 1994
14 A lattice model of secure information ow (context) - Denning - 1976
14 Information Protection Systems (context) - Fenton - 1973
9 A note on the con nement problem (context) - Lampson - 1973
9 Detecting attacks on mobile agents - Meadows - 1997
7 Cryptographic support for fault-tolerant distributed computi.. (context) - Minsky, van Renesse et al. - 1996
7 Flexible distributed programming using mobile code - Halls, Bates et al. - 1996
5 Toward a mathematical foundation for information ow security (context) - Gray - 1991
4 MITRE Technical Report (context) - LaPadula, Bell - 1996
4 Information ow in nondeterministic systems (context) - Wittbold, Johnson - 1990
4 Eliminating covert ows with minimum typings (context) - Volpano, rey - 1997
2 A foundation for covert channel analysis (context) - Fine - 1992
2 Case studies of protection system failures (context) - Saltzer - 1975
1 Some practical problems and their in uence on semantics (context) - Jones - 1996
1 Language Subset and Virtual Machine Speci cation (context) - Card - 1997
1 Eliminating formal ows in automated information ow analysis (context) - Eckmann - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.fiu.edu/~smithg/papers/): More
Verifying Secrets and Relative Secrecy - Volpano, Smith (2000) (Correct)
Probabilistic Noninterference in a Concurrent Language - Volpano, Smith (1998) (Correct)
A New Type System for Secure Information Flow - Smith (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC