Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon Riecke. A core calculus of dependency. In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL), pages 147--160, San Antonio, TX, January 1999. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Non-Interference in Constructive Authorization Logic - Deepak Garg And (Correct)
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (1999) (18 citations) (Correct)
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
Non-Interference in Constructive Authorization Logic - Garg, Pfenning (2006) (Correct)
A Linear Logic of Authorization and Knowledge - Garg, Bauer, Bowers.. (2006) (Correct)
A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of (Correct)
JFP 15 (2): 249--291, 2005. c - Cambridge University Press (2005) (Correct)
Flow Locks - Towards Core Calculus (Correct)
Information Flow Control for Java Based on Path.. - Hammer, Krinke, Snelting (2006) (Correct)
Checking Secure Information Flow in Java Bytecode.. - Bernardeschi, De.. (Correct)
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
Linearity and Bisimulation - Yoshida, Honda, Berger (2002) (7 citations) (Correct)
pure: Useful Abstractions in Specifications - Mike Barnett David (2004) (3 citations) (Correct)
Linearity and Bisimulation - Yoshida, Honda, Berger (7 citations) (Correct)
Partial Evaluation and Non-Interference for Object Calculi - Barthe, Serpette (1999) (4 citations) (Correct)
Secure Information Flow by Self-Composition - Gilles Barthe Pedro (2004) (6 citations) (Correct)
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
A Monadic Analysis of Information Flow Security with.. - Crary, Kliger, Pfenning (2004) (1 citation) (Correct)
Appendix - Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) Self-citation (Banerjee) (Correct)
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) Self-citation (Banerjee) (Correct)
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