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.
Separating Agreement from Execution for Byzantine.. - Yin, Martin.. (2003) (3 citations) (Correct)
No context found.
A. Sabelfeld and A. Myers. Language-based information-flow security, 2003.
A Theorem Proving Approach to Analysis of Secure Information .. - Dravas, Hahnle, Sands (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communication, 21(1), Jan. 2003.
Tachio Terauchi Alex Aiken - Report No Ucb (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. 14
A Program Transformation Technique for Enforcement .. - Venkatakrishnan.. (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.
Language-Based Approaches to - Secure Information Flow (Correct)
No context found.
A. Sabelfeld and A. Myers. Language-based information-flow security, 2003.
A Unified Approach for Preventing Attacks Exploiting a.. - Xu, Bhatkar, Sekar (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1), January 2003.
A Unified Approach for Preventing Attacks Exploiting a.. - Xu, Bhatkar, Sekar (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communications, 21(1), January 2003. 18
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(5), January 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.
Separating Agreement from Execution for Byzantine.. - Yin, Martin.. (2003) (3 citations) (Correct)
No context found.
A. Sabelfeld and A. Myers. Language-based information-flow security, 2003.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (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.
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communications, 21(1):5--19, January 2003.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (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.
pure: Useful Abstractions in Specifications - Mike Barnett David (2004) (3 citations) (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communications, 21(1):5--19, January 2003.
Software Security: Experiments on the .NET Common.. - Piessens, Jacobs, Joosen (2003) (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communication, 21(1), 2003. 13
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.
First Steps Toward a Cryptography-Aware Language and Compiler - Barbosa, Noad, Page, Smart (2005) (Correct)
No context found.
A. Sabelfeld and A.C. Myers. Language-Based Information-Flow Security. In IEEE Journal on Selected Areas in Communications, 21(1), 2003.
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) (Correct)
No context found.
Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communications, 21(1):5--19, January 2003.
RIFLE: An Architectural Framework for User-Centric - 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.
JULIA: A Generic Static Analyser for the Java Bytecode - Spoto (Correct)
No context found.
A. Sabelfeld and A. Myers. Language-based Information-Flow Security. IEEE Journal on Selected Areas in Communications, 21(1):5--19, January 2003.
Documented Data Dispersal - Behr, Jr. (2003) (Correct)
No context found.
Sabelfeld, A., and Myers, A. C. Language-based information-flow security. IEEE Journal on Selected Areas on Communications 21, 1 (January 2003).
Formal Methods Research at SICS and KTH: An Overview - Dam, Fredlund, Gurov (2003) (Correct)
No context found.
Sabelfeld, A. and A. Myers, Language-based information-flow security, IEEE Journal on Selected Areas in Communications 21 (2003), pp. 5--19.
Switched Probabilistic I/O Automata - Ling Cheung Nancy (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.
A Monadic Analysis of Information Flow Security with.. - Crary, Kliger, Pfenning (2004) (1 citation) (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.
Dataflow Pointcut for Integrity Concerns - Kazunori Kawauchi Hidehiko (Correct)
No context found.
A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1), Jan. 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