Jan Vitek, Manuel Serrano, Dimitri Thanos  Home/Search
Context Related
Links: ACM DBLP | cuiwww.unige.ch/OSG/people/...tpi.ps.gz kaolin.unice.fr/~serran...scmos97.ps.gz purdue.edu/homes/jv/pub/tpi97.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: informatik.unistuttga...security (more) From: kaolin.unice.fr/~serrano/...publi (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper. This research has been carried out within the ASAP project (Swiss SPP-ICS program grant no 5003-45332). References (Update)
Context of citations to this paper: More
...virtual machine from the programs running on top of it. There are ways to circumvent Java security. We identified a few in earlier work [36], here we focus on those related to three JavaSeal security properties. Confinement: The difficulty in obtaining confinement is that the...
...makes them an easy target for direct attacks. The security issues in mobile agent systems have been classified into five categories [1]: 1) transfer security, 2) authentication and authorization, 3) host system security, 4) computational environment security, and (5)...
Cited by: More
Secure Execution of Mobile Programs - Pandey, Hashii, Lal (Correct)
Confined Types in Java - Vitek, Bokowski (2000) (Correct)
Evaluating the Security Of Three Java-Based Mobile Agent.. - Fischmeister, Vigna.. (2001) (Correct)
Active bibliography (related documents): More All
0.7: Combining Mobile Agents with Persistent Systems.. - Silva, Atkinson (Correct)
0.5: Covert Distributed Computing Using Java Through Web Spoofing - Horton, Seberry (Correct)
0.4: Mobility and Persistence - Silva (1997) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Forced Migration in a Mobile Object System: Reducing Fault.. - Huczynski (Correct)
0.1: Object-Oriented Interoperability and CORBA - Konstantas, Vitek (1994) (Correct)
0.1: Bibliography of Mobile Programs, Extensible Operatings Systems.. - Hashii (1998) (Correct)
Related documents from co-citation: More All
11: Extensible security architectures for Java - Wallach, Balfanz et al. - 1997
10: Implementing multiple protection domains in Java - Hawblitzel, Chang et al. - 1998
8: Java security architecture (context) - Gong - 1998
BibTeX entry: (Update)
Jan Vitek, Manuel Serrano, and Dimitri Thanos. Security and communication in mobile object systems. In J. Vitek and C. Tschudin, editors, Mobile Object Systems: Towards the Programmable Internet., LNCS 1222. Springer-Verlag, April 1997. http://citeseer.ist.psu.edu/vitek97security.html More
@incollection{ vitek97security,
author = "Jan Vitek and Manuel Serrano and Dimitri Thanos",
title = "Security and Communication in Mobile Object Systems",
booktitle = "Mobile Object Systems: Towards the Programmable {I}nternet",
publisher = "Springer-Verlag: Heidelberg, Germany",
pages = "177--200",
year = "1997",
url = "citeseer.ist.psu.edu/vitek97security.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula - 1997 ACM DBLP
400 Safety and Performance in the SPIN Operating System (context) - Bershad, Savage et al. - 1996
339 Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993 ACM DBLP
232 Linda in context (context) - Gelernter - 1989 ACM DBLP
201 Telescript Technology: The foundation for the electronic mar.. (context) - White - 1994
175 A secure environment for untrusted helper applications: Conf.. - Goldberg, Wagner et al. - 1996
158 Certification of programs for secure information flow (context) - Denning, Denning - 1977
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996 ACM
140 Agent tcl: A flexible and secure mobile-agent system - Gray - 1996 ACM
136 Java security: From Hotjava to Netscape and beyond - Dean, Felten et al. - 1996
116 Sharing and protection in a single address space operating s.. - Chase, Levy et al. - 1994
113 A distributed object model for the Java system - Wolrath, Riggs et al. - 1996
102 Itinerant agents for mobile computing - Chess, Grosof et al. - 1995 ACM
94 Distribution and abstract types in Emerald (context) - Black, Hutchinson et al. - 1987
92 Proxy-based authorization and accounting for distributed sys.. - Neuman - 1993 DBLP
85 Development of an object-oriented DBMS (context) - Maier, Stein et al. - 1986 ACM DBLP
72 A type-based approach to program security - Volpano, Smith - 1997 ACM DBLP
67 Network-aware mobile programs - Ranganathan, Acharya et al. - 1996 ACM
60 The security of static typing with dynamic linking - Dean - 1997
57 Safe and efficient sharing of persistent objects in thor - Liskov, Adya et al. - 1996 ACM DBLP
51 Migratory applications - Bharat, Cardelli - 1995 ACM DBLP
33 Using tuple space communication in distributed object-orient.. (context) - Matsuoka, Kawai - 1988 ACM DBLP
28 Mobile computation - Cardelli - 1996 ACM DBLP
28 A Web navigator with applets in Caml - Rouaix - 1996 ACM DBLP
25 Extending object to support multiple interface and access co.. (context) - Hailpern, Ossher - 1990
25 Cryptographic support for fault-tolerant distributed computi.. - Minsky, van Renesse et al. - 1996 ACM DBLP
22 The KeyKos nanokernel architecture (context) - Bomberger, Frantz et al. - 1992
18 Confining root programs with domain and type enforcement (context) - Walker, Stern et al. - 1996
16 Provably-secure programming languages for remote evaluation - Volpano - 1996 ACM DBLP
14 Building systems that flexibly control downloaded executable.. - Jaeger, Rubin et al. - 1996
12 Protection in Persistent Object Systems (context) - Morrison, Brown et al. - 1990
11 Pickling state in the java (context) - Riggs, Wolrath et al. - 1996
11 Octopus: A reflective language mechanism for object manipula.. - Farkas, Dearle - 1993 DBLP
10 Netscape Communication Corporation (context) - Freier, Karlton et al. - 1996
9 The gateway security model in the Java electronic commerce f.. - Goldstein - 1996 ACM DBLP
9 A specification and verification method for preventing denia.. (context) - Yu, Gligor - 1990 ACM DBLP
8 Chrg-http: A tool for micropayments on the World Wide Web - Tang, Low - 1996
8 the identification of covert storage channels in secure syst.. (context) - Tsai, Gligor et al. - 1990
6 The persistent relevance of the local operating system to gl.. - Lepreau, Ford et al. - 1996 ACM DBLP
6 Adaptive parameter passing - Lopes - 1996 ACM DBLP
4 A selective protection scheme for the java environment - Hagimont, Krakowiak et al. - 1996
4 Security as an add-on quality in persistent object systems (context) - Rudloff, Matthes et al. - 1995 DBLP
4 Australian Computer Science Communications (context) - Farkas, Dearle et al. - 1994
2 Hostile applets on the horizon (context) - LaDue - 1996
1 Mobile Agent Security (context) - Tardo, Valente - 1996
1 high bandwirth covert channels using java (context) - Yoshikawa, Chun et al. - 1997
1 the systematic design of web languages - Volpano, Smith - 1996
1 Rossi: Jada: coordination and communication for Java agents (context) - Ciancarini
1 Report of the Seventh ACM SIGOPS European Workshop (context) - Tanenbaum - 1996
1 Mobile Object System: A first look at mobile object-oriented.. (context) - Vitek, Tschudin - 1997
1 Using sparse cabilities in a distributed operating system (context) - Tanenbaum, Mullender et al. - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-stuttgart.de/ipvr/vs/projekte/mole/security.html): More
Trust Appraisal and Secure Routing of Mobile Agents - Swarup (1997) (Correct)
Infrastructure for Proof-Referencing Code - Gunter, Homeier, Nettles (1997) (Correct)
Secure Mobile Code: Where do we go from here? - Dean, Felten (1997) (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