Ciarán Bryce  Home/Search
Context Related
| cuiwww.unige.ch/~bryce/esorics00.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: cui.unige.ch/~bryce/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper describes a distributed security infrastructure for mobile agents. The first property of the infrastructure is believability ; this means that mechanisms are provided for authenticating information furnished by an agent. A second security property is survivability. This means that an agent computation can be programmed to survive attacks by malicious hosts on individual agents; this is achieved through encryption as well as agent replication and voting. The main feature of... (Update)
Context of citations to this paper: More
...in the JavaSeal mobile agent platform. The syntax and semantics of the language presented are given in an extended version of this paper [5]. This is being used to continue the work in several directions. First, the semantics can be used for a proof system for properties of...
...to represent symmetric and asymmetric keys respectively. The active credential mechanism has been implemented in a mobile agent platform [7]. 122 Towards the Design of an Internet Operating System Survivability is another security notion that benefits from code mobility....
Cited by: More
Towards the Design of an Internet Operating System - Razafimahefa, Bryce (Correct)
A Security Framework for a Mobile Agent System - Bryce (2000) (Correct)
Active bibliography (related documents): More All
0.6: Police Agents for Enforcing Internet Security - Bryce (1999) (Correct)
0.4: An Approach to Safe Object Sharing - Bryce, Razafimahefa (2000) (Correct)
0.3: The JavaSeal Mobile Agent Kernel - Bryce, Vitek (1999) (Correct)
Similar documents based on text: More All
0.3: Establishing a Secure Open-Environment for Using Mobile.. - Marques, Silva, Silva (1999) (Correct)
0.1: A Security Proof System for Networks of Communicating Processes - Banatre, Bryce (1993) (Correct)
0.1: Mechanical Proofs of Security Properties - Banâtre, al. (1994) (Correct)
Related documents from co-citation: More All
2: The Java Programming Language (context) - Ken, Gosling - 1996
2: Improving IPC by Kernel Design - Liedtke - 1993
2: Proof-carrying code - Necula - 1997
BibTeX entry: (Update)
C. Bryce. A security framework for a mobile agent system. In Technical Report, University of Geneva, 2000. http://citeseer.ist.psu.edu/bryce00security.html More
@inproceedings{ bryce00security,
author = "Ciaran Bryce",
title = "A Security Framework for a Mobile Agent System",
booktitle = "{ESORICS}",
pages = "273-290",
year = "2000",
url = "citeseer.ist.psu.edu/bryce00security.html" }
Citations (may not include all citations):737 The Java Programming Language (context) - Arnold, Gosling - 1998
566 Proof-carrying code - Necula - 1997
412 A survey of active network research - Tennenhouse, Smith et al. - 1997
305 Decentralized trust management - Blaze, Feigenbaum et al. - 1996
156 SDSI -- A simple distributed security infrastructure - Rivest, Lampson - 1996
132 SPKI certificate theory (context) - Ellison, Frantz et al. - 1998
98 Improving IPC by kernel design - Liedtke - 1993
61 Inside Java 2 platform security: architecture (context) - Gong - 1999
52 PGP: Pretty Good Privacy (context) - Garfinkel - 1995
52 Intrusion tolerance in distributed computing systems - Deswarte, Blain et al. - 1991
49 Towards mobile cryptography - Sander, Tschudin - 1998
42 and D. Rus. D'Agents: Security in a multiplelanguage (context) - Gray, Cybenko et al. - 1998
23 Security in the ajanta mobile agent system - Karnik, Tripathi - 1999
20 The javaseal mobile agent kernel - Bryce, Vitek - 1999
19 The BirliX security architecture (context) - Hartig, Kowalski et al. - 1993
11 Foundations of Secure Computation (context) - DeMillo, Dobkin et al. - 1978
9 Towards a framework for handling disputes in payment systems - Asokan, Herreweghen et al. - 1998
8 Department of Computer Science and Engineering (context) - Yee, for et al. - 1997
4 Mobile Objects Systems (context) - Vitek, Tschudin - 1997
3 Lecture Notes in Computer Science (context) - Karjoth, Lange et al. - 1998
3 Commercialization of electronic information (context) - Morin, Konstantas - 2000
3 the provision of replicated internet auction services (context) - Panzieri, Shrivastava - 1999
2 A security framework for a mobile agent system - Bryce - 2000
1 An architecture for intrusion detection using autonomous age.. (context) - Balasubramamiyan, Fernandez et al. - 1998
1 Remote Evaluation and Mobile Agents Protocols (context) - Puliafito, Riccobene et al. - 1999
Documents on the same site (http://cui.unige.ch/~bryce/pubs.html): More
Coordinating Agents with Secure Spaces - Vitek, Bryce, Oriol (1999) (Correct)
An Approach to Safe Object Sharing - Bryce, Razafimahefa (2000) (Correct)
An Approach to Safe Object Sharing - Bryce, Razafimahefa (2000) (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