Boris Bokowski, Jan Vitek  Home/Search
Context Related
| purdue.edu/homes/p...okowskivitek99.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: purdue.edu/homes/palsberg...index (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 object-oriented programs and facilitate the implementation of secure systems. We introduce two mechanisms: confined types to impose static scoping on dynamic object references and, for technical... (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):
45.9%: Confined Types in Java - Vitek, Bokowski (2000) (Correct)
38.5%: Confined Types - Bokowski, Vitek (1999) (Correct)
Active bibliography (related documents): More All
0.7: Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
0.6: Secure Mobile Code: The JavaSeal experiment - Vitek, Bryce (1999) (Correct)
0.5: Who's Afraid of Ownership Types? - Clarke, Noble, Potter (1999) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: Encapsulating Objects with Confined Types - Grothoff, Palsberg, Vitek (2001) (Correct)
0.2: Barat - A Front-End for Java - Bokowski, Spiegel (1998) (Correct)
0.2: CoffeeStrainer: Statically-Checked Constraints on the Definition .. - Bokowski (1999) (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/article/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/article/bokowski99confined.html" }
Citations (may not include all citations):1529 A Method for Obtaining Digital Signatures and Public-Key Cry.. - Rivest, Shamir et al. - 1978
254 Elements of Reusable Object-Oriented Software (context) - Gamma, Helm et al. - 1995
238 Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998
153 The Java Language Speci cation (context) - Gosling, Joy et al. - 1996
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
72 A type-based approach to program security - Volpano, Smith - 1997
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
68 Flexible alias protection - Noble, Potter et al. - 1998
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
38 Secure information ow in a multi-threaded imperative languag.. (context) - Smith, Volpano - 1998
38 Ownership types for exible alias protection (context) - Clarke, Potter et al. - 1998
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, Mossi et al. - 1996
19 The ins and outs of objects - Potter, Noble et al. - 1998
19 Encapsulation and Aggregation (context) - Kent, Maung - 1995
15 Security and communication in mobile object systems - Vitek, Serrano et al. - 1997
14 A lattice model of secure information ow (context) - Denning - 1976
14 Poor man's genericity for Java - Bokowski, Dahm - 1998
13 An approach to improve locality using Sandwich Types - Genius, Trapp et al. - 1998
11 Connement properties for programming languages (context) - Volpano, Smith - 1998
10 Constraints and object identity - Lopez, Freeman-Benson et al. - 1994
10 Secure mobile code: the JavaSeal experiment - Vitek, Bryce - 1999
8 Security for extensible systems - Grimm, Bershad - 1997
7 Deferring destruction when reading unique variables (context) - Boyland - 1999
5 Guarding objects (context) - Gong - 1998
4 safe information ow with decentralized labels (context) - Myers, Liskov - 1998
4 ow: Practical static information ow control (context) - Myers - 1999
3 Size matters: Reducing the size of java class le archives (context) - Tip, La et al. - 1998
3 eestrainer: Statically-checked constraints on the denition a.. (context) - Bokowski - 1999
2 combining the benets of virtual types and parameterized clas.. (context) - Thorup, Torgersen - 1999
The graph only includes citing articles where the year of publication is known.
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