Boris Bokowski, Jan Vitek  Home/Search
Context Related
| purdue.edu/homes/jv/pub/spe00.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: purdue.edu/homes/jv/publist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Sharing and transfer of object references is difficult to control in object-oriented languages. Unconstrained sharing poses serious problems for writing secure components in object-oriented languages. In this paper, we present a set of inexpensive syntactic constraints that strengthen encapsulation in objectoriented programs and facilitate the implementation of secure systems. We introduce two mechanisms: confined types to impose static scoping on dynamic object references and anonymous... (Update)
Cited by: More
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed (Correct)
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) (Correct)
Defaulting Generic Java to Ownership - Alex Potanin James (2004) (Correct)
Similar documents (at the sentence level):
33.3%: Confined Types - Bokowski, Vitek (1999) (Correct)
28.7%: Confined Types in Java - Vitek, Bokowski (2000) (Correct)
Active bibliography (related documents): More All
0.6: Secure Mobile Code: The JavaSeal experiment - Vitek, Bryce (1999) (Correct)
0.5: Codifying Structural Regularities of Object-Oriented Programs - Wuyts, Mens (Correct)
0.3: The Objects of Aliasing - Noble (1999) (Correct)
Similar documents based on text: More All
0.2: Barat - A Front-End for Java - Bokowski, Spiegel (1998) (Correct)
0.2: CoffeeStrainer: Statically-Checked Constraints on the Definition .. - Bokowski (1999) (Correct)
0.2: Encapsulating Objects with Confined Types - Grothoff, Palsberg, Vitek (2001) (Correct)
Related documents from co-citation: More All
13: Ownership types for flexible alias protection - Clarke, Potter et al. - 1998
11: Islands: Aliasing Protection in Object-Oriented Languages (context) - Hogg - 1991
9: Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
BibTeX entry: (Update)
B. Bokowski and J. Vitek. Confined Types. In Proceedings 14th Annual ACM SIGPLAN Conference on ObjectOriented Programming Systems, Languages, and Applications (OOPSLA'99), Denver, Colorado, USA, November 1999. http://citeseer.ist.psu.edu/bokowski99confined.html More
@techreport{ bokowski99confined,
author = "Boris Bokowski and Jan Vitek",
title = "Confined Types",
editor = "D. Tsichritzis",
pages = "171",
year = "1999",
url = "citeseer.ist.psu.edu/bokowski99confined.html" }
Citations (may not include all citations):2157 Design Patterns -- Elements of Reusable ObjectOriented Softw.. (context) - Gamma, Helm et al. - 1995
1529 A Method for Obtaining Digital Signatures and Public-Key Cry.. - Rivest, Shamir et al. - 1978
862 The Java Language Specification - Gosling, Joy et al. - 1996
238 Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997
196 A lattice model of secure information flow (context) - Denning - 1976
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998
139 Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano - 1998
118 Extensible Security Architectures for Java - Wallach, Balfanz et al. - 1997
114 Capability Based Computer Systems (context) - Levy - 1984
102 The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998
101 Implementing Multiple Protection Domains in Java - Hawblitzel, Chang et al. - 1997
100 Islands: Aliasing Protection in Object-Oriented Languages (context) - Hogg - 1991
87 Parameterized types for Java - Myers, Bank et al. - 1997
74 Ownership types for flexible alias protection - Clarke, Potter et al. - 1998
72 A type-based approach to program security - Volpano, Smith - 1997
68 Flexible alias protection - Noble, Potter et al. - 1998
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
66 Security properties of typed applets - Leroy, Rouaix - 1998
66 The Geneva convention on the treatment of object aliasing - Hogg, Lea et al. - 1992
64 Low level security in Java (context) - Yellin - 1995
52 Security models - McLean - 1994
46 Mobile agent security and Telescript - Tardo, Valente - 1996
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
37 Privacy via Subsumption - Riecke, Stone - 1998
31 Java security architecture (context) - Gong - 1997
25 Balloon types: Controlling sharing of state in data types - Almeida - 1997
24 Hidden software capabilities - Hagimont, Mossiere et al. - 1996
20 The JavaSeal mobile agent kernel - Vitek, Bryce - 1999
19 Encapsulation and Aggregation (context) - Kent, Maung - 1995
15 Security and communication in mobile object systems - Vitek, Serrano et al. - 1997
14 Poor man's genericity for Java - Bokowski, Dahm - 1998
13 An approach to improve locality using Sandwich Types - Genius, Trapp et al. - 1998
10 Constraints and object identity - Lopez, Freeman-Benson et al. - 1994
10 Unifying genericity -- combining the benefits of virtual typ.. - Thorup, Torgersen - 1999
9 Confinement properties for programming languages - Volpano, Smith - 1998
8 Security for extensible systems - Grimm, Bershad - 1997
8 Jflow: Practical static information flow control (context) - Myers - 1999
7 Deferring destruction when reading unique variables (context) - Boyland - 1999
5 Guarding objects (context) - Gong - 1998
2 Size matters: Reducing the size of java class file archives (context) - Tip, Laffra et al. - 1998
2 Coffeestrainer: Statically-checked constraints on the defini.. - Bokowski - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.purdue.edu/homes/jv/publist.html): More
Taming Message Passing: Efficient Method Look-Up for.. - Vitek, Horspool (1994) (Correct)
New Paradigms for Distributed Programming - Vitek (Correct)
Flexible Alias Protection - Noble, Vitek, Potter (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