Boris Bokowski, Jan Vitek  Home/Search
Context Related
| cui.unige.ch/OSG/people...confine.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: cui.unige.ch/OSG/people/j...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Sharing and transfer of references is difficult to control in object-oriented languages. As information security is increasingly becoming software dependent, this difficulty poses serious problems for writing secure components. 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... (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):
38.5%: Confined Types - Bokowski, Vitek (1999) (Correct)
19.3%: 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.4: Secure Composition of Insecure Components - Sewell, Vitek (1999) (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/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):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 ACM DBLP
862 The Java Language Specification - Gosling, Joy et al. - 1996
238 Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997 DBLP
196 A lattice model of secure information flow (context) - Denning - 1976 ACM DBLP
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998 DBLP
139 Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano - 1998 ACM DBLP
118 Extensible Security Architectures for Java - Wallach, Balfanz et al. - 1997 ACM
114 Capability Based Computer Systems (context) - Levy - 1984
102 The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998 DBLP
101 Implementing Multiple Protection Domains in Java - Hawblitzel, Chang et al. - 1997
100 Islands: Aliasing Protection in ObjectOriented Languages (context) - Hogg - 1991
87 Parameterized types for Java - Myers, Bank et al. - 1997 ACM DBLP
74 Ownership types for flexible alias protection - Clarke, Potter et al. - 1998 ACM DBLP
72 A type-based approach to program security - Volpano, Smith - 1997 ACM DBLP
68 Flexible alias protection - Noble, Potter et al. - 1998 ACM DBLP
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
66 Security properties of typed applets - Leroy, Rouaix - 1998 ACM DBLP
66 The Geneva convention on the treatment of object aliasing - Hogg, Lea et al. - 1992 ACM DBLP
64 Low level security in Java (context) - Yellin - 1995
52 Security models - McLean - 1994
46 Mobile agent security and Telescript - Tardo, Valente - 1996 ACM DBLP
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 ACM
37 Privacy via Subsumption - Riecke, Stone - 1998 ACM DBLP
31 Java security architecture (context) - Gong - 1997
25 Balloon types: Controlling sharing of state in data types - Almeida - 1997 DBLP
25 safe information flow with decentralized labels (context) - Myers, Liskov - 1998
24 Hidden software capabilities - Hagimont, Mossiere et al. - 1996 ACM DBLP
19 Encapsulation and Aggregation (context) - Kent, Maung - 1995
19 The ins and outs of objects - Potter, Noble et al. - 1998 ACM DBLP
15 Security and communication in mobile object systems - Vitek, Serrano et al. - 1997 ACM DBLP
14 Poor man's genericity for Java - Bokowski, Dahm - 1998 ACM DBLP
13 An approach to improve locality using Sandwich Types - Genius, Trapp et al. - 1998 ACM DBLP
10 Constraints and object identity - Lopez, Freeman-Benson et al. - 1994 ACM DBLP
10 Unifying genericity -- combining the benefits of virtual typ.. - Thorup, Torgersen - 1999
10 Secure mobile code: the JavaSeal experiment - Vitek, Bryce - 1999
9 Confinement properties for programming languages - Volpano, Smith - 1998 ACM
8 Security for extensible systems - Grimm, Bershad - 1997 ACM DBLP
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
1 CoffeeStrainer -- statically checking structural constraints.. - Bokowski - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cui.unige.ch/OSG/people/jvitek/Publications/index.html): More
Taming Message Passing: Efficient Method Look-Up for.. - Vitek, Horspool (1994) (Correct)
Message Dispatch on Pipelined Processors - Driesen, Hölzle, Vitek (1995) (Correct)
Commitment and confinement for the Seal calculus - Castagna, Vitek (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