Philip W. L. Fong, Cheng Zhang  Home/Search
Context Related
| www2.cs.uregina.ca/~pwlfo...nspw2004.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: www2.cs.uregina.ca/~pwlfong/Re... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Philip W. L. Fong Cheng Zhang Department of Computer Science University of Regina Regina, Saskatchewan, Canada S4S 0A2 {pwlfong, zhang20c}@cs.uregina.ca ABSTRACT Secure cooperation is the problem of protecting mutually suspicious code units within the same execution environment from their potentially malicious peers. A statically enforceable capability type system is proposed for the JVM bytecode language to provide fine-grained access control of shared resources among peer code units.... (Update)
Similar documents based on text: More All
0.2: Pluggable Verification Modules: An Extensible Protection Mechanism .. - Fong (2004) (Correct)
0.1: Security for Extensible Systems - Robert Grimm Brian (1997) (Correct)
0.1: Proof Linking: Modular Verification of Mobile Programs in the.. - Fong, Cameron (2000) (Correct)
BibTeX entry: (Update)
Philip W. L. Fong and Cheng Zhang. Capabilities as alias control: Secure cooperation in dynamically extensible systems. Technical Report CS-2004-3, Department of Computer Science, University of Regina, 2004. http://citeseer.ist.psu.edu/fong04capabilities.html More
@misc{ fong04capabilities,
author = "P. Fong and C. Zhang",
title = "Capabilities as alias control: Secure cooperation in dynamically extensible
systems",
text = "Philip W. L. Fong and Cheng Zhang. Capabilities as alias control: Secure
cooperation in dynamically extensible systems. Technical Report CS-2004-3,
Department of Computer Science, University of Regina, 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/fong04capabilities.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula - 1997
447 Exokernel: An operating system architecture for application-.. - Engler, Kaashoek et al. - 1995
400 safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
264 Safe kernel extensions without run-time checking - Necula, Lee - 1996
131 An event based architecture definition language - Luckham, Vera - 1995
117 Featherweight Java: A minimal core calculus for Java and GJ - Igarashi, Pierce et al. - 2001
100 Programming semantics for multiprogrammed computations - Dennis, Van Horn - 1966
100 Islands: Aliasing protection in object-oriented languages (context) - Hogg - 1991
93 Designing distributed applications with mobile code paradigm.. - Carzaniga, Picco et al. - 1997
81 SASI enforcement of security policies: A retrospective - Erlingsson, Schneider - 1999
76 Programming languages for mobile code - Thorn - 1997
74 Ownership types for flexible alias protection - Clarke, Potter et al. - 1998
68 Flexible alias protection - Noble, Vitek et al. - 1998
65 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1999
52 Alias annotations for program understanding - Aldrich, Kostadinov et al. - 2002
49 Towards alias-free pointers - Minsky - 1996
47 IRM enforcement of Java stack inspection - Erlingsson, Schneider - 2000
45 ACM Transactions on Information and System Security (context) - Schneider, policies - 2000
37 Balloon types: Controlling sharing of state in data types (context) - Almeida - 1997
32 History-based access control for mobile code - Edjlali, Acharya et al. - 1998
26 Protection in the Hydra operating system (context) - Cohen, Je - 1975
20 SAFKASI: a security mechanism for language-based systems (context) - Wallach, Appel et al. - 2000
19 Static enforcement of security with types - Skalka, Smith - 2000
16 Software --- Practice and Experience (context) - Vitek, Bokowski et al. - 2001
15 Access control based on execution history - Abadi, Fournet - 2003
14 Introduction to Process Algebra (context) - Fokkink - 2000
13 Model-carrying code: A practical approach for safe execution.. - Sekar, Venkatakrishnan et al. - 2003
10 Cooperation of Mutually Suspicious Subsystems in a Computer .. (context) - Schroeder - 1972
10 A security kernel based on the lambda-calculus - Rees - 1996
9 Proof linking: Modular verification of mobile programs in th.. - Fong, Cameron - 2000
9 Capabilities for sharing: A generalisation of uniqueness and.. (context) - Boyland, Noble et al. - 2072
9 JAC --- access right based encapsulation for Java (context) - Kniesel, Theisen - 2001
8 Computability classes for enforcement mechanisms - Hamlen, Morrisett et al. - 2003
7 Implementing multiple protection domains in java (context) - Howblitzel, Chang et al. - 1998
7 ACM Transactions on Programming Languages and Systems (context) - Fournet, Gordon et al. - 2003
7 Edit automata: Enforcement mechanisms for run-time security .. - Ligatti, Bauer et al. - 2003
3 Proof Linking: Modular Verification Architecture for Mobile .. - Fong - 2004
3 The confused deputy: or why capabilities might have been inv.. - Hardy - 1988
3 Pluggable verification modules: An extensible protection mec.. - Fong - 2003
3 Access control by tracking shallow execution history - Fong - 2004
2 A study of protection in programming languages (context) - Ambler, Hoch - 1977
1 A static type system for JVM access control (context) - Higuchi, Ohori - 2003
http://aegisvm.sourceforge.net
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