Philip W.L. Fong  Home/Search
Context
Related
| cs.sfu.ca/people/G...CMPTTR199819.ps 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: cs.sfu.ca/people/GradStudents/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Mobile code computation is a new paradigm for structuring distributed systems. Mobile programs migrate from remote sites to a host, and interact with the resources and facilities local to that host. This new mode of distributed computation promises great opportunities for electronic commerce, mobile computing, and information harvesting. There has been a general consensus that security is the key to the success of mobile code computation. In this paper, we survey the issues surrounding the... (Update)
Similar documents (at the sentence level):
63.2%: Viewer's Discretion: Host Security in Mobile Code Systems - Fong (1998) (Correct)
44.8%: Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (Correct)
Active bibliography (related documents): More All
0.4: Proof Linking: Modular Verification of Mobile Programs in the.. - Fong, Cameron (1999) (Correct)
0.4: Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
0.4: Mobile Agents and Telcos' Nightmares - Posegga, Karjoth (Correct)
Similar documents based on text: More All
0.4: Proof Linking: Progress Report and Research Proposal - Fong (2002) (Correct)
0.3: Reliability Through Strong Mobility - Xiaojin Wang Jason (Correct)
0.1: Java Proof Linking with Multiple Classloaders - Fong, Cameron (2000) (Correct)
BibTeX entry: (Update)
@techreport{ fong98viewers,
author = "Philip W. L. Fong",
title = "Viewer's Discretion: Host Security in Mobile Code Systems",
number = "TR 1998-19",
pages = "51",
year = "1998",
url = "citeseer.ist.psu.edu/fong98viewers.html" }
Citations (may not include all citations):1575 Computer Architecture: A Quantitative Approach (context) - Patterson, Hennessy - 1996
746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1997
566 Proof-carrying code - Necula - 1997
509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
447 Exokernel: An operating system architecture for application-.. - Engler, Kaashoek et al. - 1995
430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman - 1996
412 A survey of active network research - Tennenhouse, Smith et al. - 1997
380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
339 Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993
276 Applied Cryptography: Protocols (context) - Schneier - 1996
264 Safe kernel extensions without run-time checking - Necula, Lee - 1996
201 to typed assembly language (context) - Morrisett, Walker et al. - 1997
201 to typed assembly language (context) - Morrisett, Walker et al. - 1998
196 A lattice model of secure information flow (context) - Denning - 1976
194 The protection of information in computer systems (context) - Saltzer, Schroeder - 1975
175 A secure environment for untrusted helper applications - Goldberg, Wagner et al. - 1996
173 A comparison of commercial and military computer security po.. (context) - Clark, Wilson - 1987
162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
158 Certification of programs for secure information flow (context) - Denning, Denning - 1977
158 Secrecy by typing in security protocols - Abadi - 1997
155 Tcl and the Tk Toolkit - Ousterhout - 1994
155 Secure computer systems: Mathematical foundations and model (context) - Bell, LaPadula - 1973
153 Distributed Systems: Concepts and Design (context) - Coulouris, Dollimore et al. - 1996
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
140 Agent Tcl: A flexible and secure mobile agent system - Gray - 1996
137 The design and implementation of a certifying compiler - Necula, Lee - 1998
136 Java security: From HotJava to Netscape and beyond - Dean, Felten et al. - 1996
134 Mobile agents (context) - White - 1996
120 Integrity considerations for secure computer systems (context) - Biba - 1977
118 Extensible security architectures for Java - Wallach, Balfanz et al. - 1997
112 Concurrent Programming in Java: Design Principles and Patter.. (context) - Lea - 1997
102 Itinerant agents for mobile computing - Chess, Grosof et al. - 1995
101 Implementing multiple protection domains in Java - Hawblitzel, Chang et al. - 1998
97 Stack-based typed assembly language - Morrisett, Crary et al. - 1998
93 Designing distributed applications with mobile code paradigm.. - Carzaniga, Picco et al. - 1997
90 Network Security: Private Communication in a Public World (context) - Kaufman, Perlman et al. - 1995
90 TypeSystems - Cardelli, In et al. - 1997
90 EMail with a mind of its own: The Safe-Tcl language for enab.. (context) - Borenstein - 1994
85 The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998
84 Available at http://www (context) - Yellin, Native et al. - 1997
82 Practical Programming in Tcl and Tk (context) - Welch - 1995
82 A formal model of program dependences and its implications f.. (context) - Podgurski, Clarke - 1990
76 Programming languages for mobile code - Thorn - 1997
74 untrusted agents using proof-carrying code (context) - Necula, Lee - 1998
70 Active disks: Programming model (context) - Acharya, Uysal et al. - 1998
66 Java Security: Hostile Applets (context) - McGraw, Felten - 1997
64 Low level security in Java (context) - Yellin - 1995
62 Type-safe linking and modular assembly language - Glew, Morrisett - 1999
61 A comparison of OS extension technologies - Small, Seltzer - 1996
60 ACM Transactions on Programming Languages and Systems (context) - Stamos, Gifford - 1990
58 Operating System Concepts (context) - Silberschatz, Galvin - 1994
54 PLAN: A programming language for active networks - Hicks, Kakkar et al. - 1998
54 An axiomatic approach to information flow in programs (context) - Andrews, Reitman - 1980
53 Security for mobile agents: Issues and requirements (context) - Farmer, Guttman et al. - 1996
51 Understanding Java stack inspection - Wallach, Felten - 1998
51 Cryptography and Data Security (context) - Denning - 1982
51 Security in Computing (context) - Pfleeger - 1997
49 Methods and logics for proving programs (context) - Cousot - 1990
48 Java security: Present and near future - Gong - 1997
46 Mobile agent security and Telescript - Tardo, Valente - 1996
42 The Structure of Typed Programming Language (context) - Schmidt - 1994
42 Security for mobile agents: Authentication and state apprais.. - Farmer, Guttman et al. - 1996
40 Omniware: A universal substrate for web programming - Lucco, Sharp et al. - 1995
39 Implementing protection domains in the Java Development Kit - Gong, Schemers - 1998
39 Protection and the control of information sharing in Multics (context) - Saltzer - 1974
38 Security issues in mobile code systems (context) - Chess - 1998
37 Delocalized plans and program comprehension (context) - Letovsky, Soloway - 1986
35 Web spoofing: An internet con game (context) - Felten, Balfanz et al. - 1997
32 A distributed secure system - Rushby, Randell - 1983
30 A security flow control algorithm and its denotational seman.. - Mizuno, Schmidt - 1992
28 The interleaving problem in program understanding - Rugaber, Stirewalt et al. - 1995
28 A web navigator with applets in Caml - Rouaix - 1996
27 A flexible measurement tool for software systems (context) - Deutsch, Grant - 1971
27 Lightweight bytecode verification - Rose, Rose - 1998
26 An introduction to the architecture of the vino kernel (context) - Seltzer, Endo et al. - 1994
22 Language Support for Mobile Agents - Knabe - 1995
22 Eliminating covert flows with minimum typings - Volpano, Smith - 1997
20 Language issues in mobile program security - Volpano, Smith - 1998
20 Trust in the -calculus (context) - Palsberg, rbaek - 1995
16 Techniques for trusted software engineering - Devanbu, Fong et al. - 1998
16 New security architectural directions for Java (context) - Gong - 1997
15 Available at http://www (context) - IBM, coprocessor
14 Safe dynamic linking in an extensible operating system - Sirer, Fiuczynski et al. - 1996
12 Information flow control in a distributed object-oriented sy.. - Mizuno, Oldehoeft - 1987
10 Sharing code through first-class environments - Queinnec, De Roure - 1996
9 Can you trust your data (context) - rbaek - 1995
8 Special Issue on Active and Programmable Networks (context) - Chen, Jackson - 1998
8 The Java Class Libraries: An Annotated Reference (context) - Chan, Lee - 1996
7 Department of Computer Science (context) - Balfanz, Felten et al. - 1997
7 Safe and secure execution mechanisms for mobile objects - Kato - 1997
7 A least fixed point approach to inter-procedural information.. - Mizuno - 1989
7 On five definitions of data integrity - Sandhu - 1993
6 PostScript Language Reference Manual (context) - Taft, Walden - 1990
6 Systems programming in java (context) - Ritchie - 1997
5 Inside the Java Web server: An overview of Java Web Server (context) - Chang - 1997
4 A collection of increasingly hostile applets (context) - LaDue
4 Available at http://www (context) - Franz, Kistler
3 Web browsers and security (context) - De Paoli, Santos et al. - 1998
3 Research directions for automated software verification: Usi.. - Devanbu, Stubblebine - 1997
3 Integrity in automated information systems (context) - Mayfield, Roskos et al. - 1991
2 A system architecture for flexible control of downloaded exe.. (context) - Jaeger, Prakash et al. - 1996
2 Chrysalis-ITS home page (context) - Inc
2 Security tradeoffs: Java vs ActiveX (context) - Secure, Team
2 on Secure Internet Programming (context) - Princet
2 Gostscript vulnerability (context) - Coordination - 1995
2 Spyrus home page (context) - Inc
2 The Active Group. The Active Group home page (context) - Group, Group et al.
2 Java code engineering & reverse engineering (context) - Meurrens
2 Also available at ftp://ftp (context) - rbaek, Palsberg et al. - 1997
2 on Kimera Group. Kimera: A Java system architecture (context) - Washingt
1 Available at http://developer (context) - Co, central - 1998
Documents on the same site (http://www.cs.sfu.ca/people/GradStudents/pwfong/personal/Pub/): More
Viewer's Discretion: Host Security in Mobile Code Systems - Fong (1998) (Correct)
Proof Linking: An Architecture for Modular Verification of.. - Fong, Cameron (1998) (Correct)
Proof Linking: Modular Verification of Mobile Programs in the.. - Fong, Cameron (1999) (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