| Alternate document: Details Using Measures of Semantic Relatedness for Word Sense Disambiguation (03) Siddharth Patwardhan, Satanjeev Banerjee, Ted Pedersen |
Anindya Banerjee, David A. Naumann  Home/Search
Context Related
| ksu.edu/~ab/Publications/accinf.pdf 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: ksu.edu/~ab/Publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and access control. Java and C are object-oriented languages that provide fine-grained access control. An access control list specifies local policy by authorizing permissions for principals (code sources) associated with class declarations; a mechanism called stack inspection checks permissions at run time. An example... (Update)
Cited by: More
Managing Policy Updates in Security-Typed Languages - Nikhil Swamy Michael (2006) (Correct)
Dynamic Security Labels and Noninterference - Zheng, Myers (2004) (Correct)
History-based Access Control and Secure Information Flow - Banerjee, Naumann (Correct)
Similar documents (at the sentence level):
18.1%: Stack-based Access Control and Secure Information Flow - Banerjee, Naumann (2003) (Correct)
Active bibliography (related documents): More All
0.3: Checking Secure Information Flow in Java Bytecode.. - Bernardeschi, De.. (Correct)
0.3: Secure Information Flow and Pointer Confinement in a.. - Banerjee, Naumann (2002) (Correct)
0.2: Run-time Principals in Information-flow Type Systems - Stephen Tse Steve (2004) (Correct)
Similar documents based on text: More All
0.6: Representation Independence, Confinement and Access Control.. - Banerjee, Naumann (Correct)
0.5: A Static Analysis for Instance-based Confinement in Java - Banerjee, Naumann (Correct)
0.4: A Simple Semantics and Static Analysis for Java Security - Banerjee, Naumann (2001) (Correct)
Related documents from co-citation: More All
6: A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
5: Language-Based Information-Flow Security - Sabelfeld, Myers - 2003
5: Secure information flow and pointer confinement in a Java-like language - Banerjee, Naumann - 2002
BibTeX entry: (Update)
Anindya Banerjee and David A. Naumann. Using access control for secure information flow in a Java-like language. In IEEE Computer Security Foundations Workshop (CSFW), pages 155--169. IEEE Computer Society Press, 2003. http://citeseer.ist.psu.edu/banerjee03using.html More
@misc{ banerjee03using,
author = "A. Banerjee and D. Naumann",
title = "Using access control for secure information flow in a Java-like language",
text = "Anindya Banerjee and David A. Naumann. Using access control for secure
information flow in a Java-like language. In IEEE Computer Security Foundations
Workshop (CSFW), pages 155--169. IEEE Computer Society Press, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/banerjee03using.html" }
Citations (may not include all citations):244 Cryptography and Data Security (context) - Denning - 1982
196 A lattice model of secure information flow (context) - Denning - 1976
170 Security policies and security models (context) - Goguen, Meseguer - 1982
155 Secure computer systems: Mathematical foundations (context) - Bell, LaPadula - 1973
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
121 A core calculus of dependency - Abadi, Banerjee et al. - 1999
102 The SLam calculus: programming with secrecy and integrity - Heintze, Riecke - 1998
98 JFlow: Practical mostly-static information flow control - Myers - 1999
95 Language-based informationflow security - Sabelfeld, Myers - 2003
72 A type-based approach to program security - Volpano, Smith - 1997
47 Information flow inference for ML - Pottier, Simonet - 2002
41 Inside Java 2 Platform Security (context) - Gong - 1999
37 resource access in the asynchronous pi-calculus (context) - Hennessy, Riely et al. - 2002
34 Information flow inference for free - Pottier, Conchon - 2000
29 Secure information flow and pointer confinement in a Java-li.. - Banerjee, Naumann - 2002
25 safe information flow with decentralized labels (context) - Myers, Liskov - 1998
19 Stack inspection: Theory and variants (context) - Fournet, Gordon - 2002
19 Static enforcement of security with types - Skalka, Smith - 2000
15 A generic approach to the security of multi-threaded program.. - Mantel, Sabelfeld - 2001
15 A systematic approach to static access control - Pottier, Skalka et al. - 2028
10 Access flows: A protection model which integrates access con.. (context) - Stoughton - 1981
10 confinement and access control (context) - Banerjee, Naumann - 2002
8 Ownership confinement ensures representation independence fo.. - Banerjee, Naumann - 2002
7 NET Common Language Runtime (context) - Gough, the - 2001
5 and channel-control security policies (context) - Rushby, transitivity - 1992
Documents on the same site (http://www.cis.ksu.edu/~ab/Publications/): More
A Static Analysis for Instance-based Confinement in Java - Banerjee, Naumann (Correct)
Modular Control-Flow Analysis with Rank 2 Intersection Types - Banerjee, Jensen (Correct)
Ownership: Transfer, Sharing, and Encapsulation - Banerjee, Naumann (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