| Alternate document: Details Secure Composition of Insecure Components (99) Peter Sewell, Jan Vitek |
| Alternate document: Details Secure Composition of Untrusted Code: Wrappers and Causality Types (99) Peter Sewell, Jan Vitek |
| Alternate document: Details Secure Object Spaces A coordination model for Agents (99) Ciarán Bryce, Manuel Oriol, Jan Vitek |
Jan Vitek, Ciarán Bryce  Home/Search
Context Related
| cui.unige.ch/OSG/people/jvit...js.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: cui.unige.ch/OSG/people/j...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Mobile agents are programs that move between sites during execution to benefit from the services and information present at each site. To gain wide acceptance, strong security guarantees must be given: sites must be protected from malicious agents and agents must be protected from each other. Software based protection is widely viewed as the most efficient way of enforcing agent security. In the first part of the paper, we review programming language support for security. This review also helps ... (Update)
Context of citations to this paper: More
.... is to use objects as capabilities [23] by interposing a restricted proxy object between the user and the target ( 12] see also [15, 44, 40]) To sum up, the protection mechanisms that have been proposed so far are not perfect. On the one hand, dynamic checks are error...
.... such as the Java sandbox that promise security by isolation are not satisfactory either: components can interact freely or not at all [VB99, Gon97] What is needed is much ner grained protection mechanisms that take into account the interconnection of software components...
Cited by: More
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
An Agent Architecture for Mobile Network Services: Design and.. - Schoorl (1999) (Correct)
Confined Types - Bokowski, Vitek (1999) (Correct)
Similar documents (at the sentence level):
6.7%: The JavaSeal Mobile Agent Kernel - Bryce, Vitek (1999) (Correct)
Active bibliography (related documents): More All
0.6: Mobile Computations and Hostile Hosts - Vitek, Castagna (1999) (Correct)
0.5: Accurate Binding-Time Analysis For Imperative Languages.. - Hornof, Noyé (Correct)
0.4: Confined Types in Java - Vitek, Bokowski (2000) (Correct)
Similar documents based on text: More All
0.2: A Coordination Model for Agents based on Secure Spaces - Bryce, Oriol, Vitek (1999) (Correct)
0.2: Secure Object Spaces - A coordination model for Agents - Bryce, Oriol, Vitek (1999) (Correct)
0.1: A Security Proof System for Networks of Communicating Processes - Banatre, Bryce (1993) (Correct)
Related documents from co-citation: More All
7: Java security architecture (context) - Gong - 1998
7: Security models - McLean - 1994
6: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
BibTeX entry: (Update)
J. Vitek and C. Bryce. Secure Mobile Code: The JavaSeal experiment. In submitted for publication, 1999. http://citeseer.ist.psu.edu/vitek99secure.html More
@unpublished{ vitek98secure,
author = "J. Vitek and C. Bryce",
title = "Secure Mobile Code: The {JavaSeal} Experiment",
year = "1998",
url = "citeseer.ist.psu.edu/vitek99secure.html" }
Citations (may not include all citations):862 The Java Language Specification - Gosling, Joy et al. - 1996
410 Mobile Ambients - Cardelli, Gordon - 1998 ACM DBLP
400 safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
201 Telescript technology: The foundation for the electronic mar.. (context) - White - 1994
196 A lattice model of secure information flow (context) - Denning - 1976 ACM DBLP
152 A sound type system for secure flow analysis - Volpano, Irvine et al. - 1996 ACM
127 Systems Programming with Modula (context) - Nelson - 1991
118 Extensible Security Architectures for Java - Wallach, Balfanz et al. - 1997 ACM
115 The spring nucleus: a micro-kernel for objects - Hamilton, Kougioris - 1994
114 Capability Based Computer Systems (context) - Levy - 1984
101 Implementing Multiple Protection Domains in Java - Hawblitzel, Chang et al. - 1997
100 Interposition agents: Transparently interposing user code at.. - Jones - 1993 DBLP
100 Programming semantics for multi-programmed computations - Dennis, VanHorn - 1966
92 Microkernels meet recursive virtual machines - Ford, Hibler et al. - 1996 ACM DBLP
79 Sumatra: A language for resourceaware mobile programs - Acharya, Ranganathan et al. - 1997
74 Encapsulation and inheritance in object-oriented programming.. - Synder - 1986 ACM DBLP
74 untrusted agents using proof-carrying code (context) - Necula, Lee - 1998
70 Using Sparse Capabilities in a Distributed Operating System - Tanenbaum, Mullender et al. - 1986 DBLP
66 Security properties of typed applets - Leroy, Rouaix - 1998 ACM DBLP
66 Mole - Concepts of a mobile agent system - Baumann, Hohl et al. - 1998 DBLP
64 Low level security in java (context) - Yellin - 1995
64 JRes: A resource accounting interface for Java - Czajkowski, von Eicken - 1998 ACM DBLP
46 Java operating systems: Design and implementation - Back, Tullmann et al. - 1998
46 Mobile agent security and Telescript - Tardo, Valente - 1996 ACM DBLP
40 Omniware: A Universal Substrate for Web Programming - Lucco, Sharp et al. - 1995
38 Opal: A single address space system for 64-bit architectures - Chase, Levy et al. - 1993 ACM
31 Towards a Calculus of Secure Mobile Computations - Vitek, Castagna - 1998
31 Java security architecture (context) - Gong - 1997
25 Extending objects to support multiple interfaces and access .. (context) - Hailpern, Ossher - 1990 ACM DBLP
16 A language extension for expressing constraints on data acce.. (context) - Jones, Liskov - 1978 ACM DBLP
15 Security and communication in mobile object systems - Vitek, Serrano et al. - 1997 ACM DBLP
15 Security and Communication in Mobile Object Systems - Vitek, Serrano et al. - 1997 ACM DBLP
14 Designing JavaSeal: or How to make Java safe for agents (context) - Vitek, Bryce et al. - 1998
14 Active networks (context) - Tennenhouse - 1996 ACM
11 Programming and Deploying Mobile Agents with Java Aglets (context) - Lange, Oshima - 1998
9 Operating System Review (context) - Pike, Presotto et al. - 1993
8 Security for extensible systems - Grimm, Bershad - 1997 ACM DBLP
7 Department of Defense (context) - Tcsec, system et al. - 1985
6 Design and evaluation of an extensible web & telephony serve.. - Spoonhower, Czajkowski et al. - 1998 ACM
5 Guarding objects (context) - Gong - 1998
3 Lecture Notes in Computer Science (context) - Ousterhout, Levy et al. - 1998
3 HyperNews: a Hyper--Media Electronic Newspaper based on Agen.. (context) - Morin - 1998
2 Scaling up partial evaluation for optimizing commercial RPC .. (context) - Muller, Volanschi et al. - 1997
1 ITSEC -- Information Technology Security Evaluation Criteria (context) - the, Communities - 1991
Documents on the same site (http://cui.unige.ch/OSG/people/jvitek/Publications/index.html): More
Taming Message Passing: Efficient Method Look-Up for.. - Vitek, Horspool (1994) (Correct)
Message Dispatch on Pipelined Processors - Driesen, Hölzle, Vitek (1995) (Correct)
Commitment and confinement for the Seal calculus - Castagna, Vitek (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