Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, January 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, January 2003.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5 -- 19, Jan. 2003. special issue on Formal Methods in Security.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5 -- 19, Jan. 2003. special issue on Formal Methods in Security.
Maintaining Privacy on Derived Objects - Nicola Zannone Via (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-Based Information-Flow Security. IEEE J. on Selected Areas in Comm., 21(1):5--19, 2003.
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, January 2003.
Using Labeling to Prevent Cross-Service Attacks against.. - Mulliner, Vigna, Dagon, .. (2006) (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, January 2003.
Creating Objects in the Flexible Authorization - Framework Nicola Zannone (Correct)
No context found.
Sabelfeld, A., Myers, A.C.: Language-Based Information-Flow Security. IEEE J. on Selected Areas in Comm. 21(1) (2003) 5--19
Programming with Role-Based Access Control - Radha Jagadeesan Alan (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communications, 21(1):5--19, Jan. 2003.
The Program Counter Security Model: Automatic Detection and - Removal Of Control-Flow (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, 2003.
The Program Counter Security Model: - Automatic Detection And (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, 2003.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, January 2003.
Editors: Nancy R. Mead, nrm@sei.cmu.edu - Gary Mcgraw Gem (Correct)
No context found.
A. Sabelfeld and Andrew Myers, "Language-Based InformationFlow Security," IEEE J. Selected Areas in Comm., vol. 21, no. 1, 2003, pp. 5--19.
A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5 -- 19, Jan. 2003. special issue on Formal Methods in Security.
Under consideration for publication in J. Functional.. - Karl Crary Aleksey (Correct)
No context found.
Sabelfeld, Andrei, & Myers, Andrew C. (2003). Language-based information-flow security.
JFP 15 (2): 249--291, 2005. c - Cambridge University Press (2005) (Correct)
No context found.
Lang. & Syst. 25(1), 117--158. Sabelfeld, A. and Myers, A. C. (2003) Language-based information-flow security. IEEE J.
Dynamic Updating of Information-Flow Policies - Michael Hicks Stephen (2005) (1 citation) (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, January 2003.
Managing Policy Updates in Security-Typed Languages - Nikhil Swamy Michael (2006) (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based informationflow security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, Jan. 2003.
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, January 2003.
Privacy Injector - Automated Privacy Enforcement Through Aspects - Berghe, Schunter (2006) (Correct)
No context found.
A. Sabelfeld and A. Myers. Language-based information-flow security, 2003.
Harmless Advice - Dantas, Walker (2006) (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1), 2003.
Timing Aware Information Flow Security for a JavaCard-like.. - Hedin, Sands (2005) (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communications, 21(1):5--19, January 2003.
Flow Locks - Towards Core Calculus (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communications, 21(1):5--19, Jan. 2003.
The Program Counter Security Model: Automatic.. - Molnar.. (2005) (1 citation) (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, 2003.
An Approach for Realizing - Privacy-Preserving Web-Based Services (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communications, 21(1), Jan. 2003.
Information Flow Control for Java Based on Path.. - Hammer, Krinke, Snelting (2006) (Correct)
No context found.
A. Sabelfeld and A. Myers. Language-based informationflow security. IEEE Journal on Selected Areas in Communications, 21(1), January 2003.
First 50 documents Next 50
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