D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504-- 513, 1977. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504-- 513, 1977.
Creating Objects in the Flexible Authorization - Framework Nicola Zannone (Correct)
No context found.
Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. CACM 20(7) (1977) 504--513
Which Security Policy for Multiapplication - Smart Cards Published (Correct)
No context found.
Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Communication of the ACM, 20(7):504--512, July 1977.
Flow Locks - Towards Core Calculus (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Comm. of the ACM, 20(7):504--513, July 1977.
Probabilistic Noninterference for Multi-threaded Programs - Andrei Sabelfeld David (1999) (46 citations) (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504--513, July 1977.
Which Security Policy for Multiapplication - Smart Cards Published (Correct)
No context found.
Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Communication of the ACM, 20(7):504--512, July 1977.
A Theorem Proving Approach to Analysis of Secure Information .. - Dravas, Hahnle, Sands (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Commun. ACM, 20(7):504--513, July 1977.
Checking Secure Information Flow in Java Bytecode.. - Bernardeschi, De.. (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Comm. ACM, 20(7):504--513, 1977.
A Program Transformation Technique for Enforcement .. - Venkatakrishnan.. (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Comm. of the ACM, 20(7):504--513, July 1977.
Language-Based Approaches to - Secure Information Flow (Correct)
No context found.
Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Commun. ACM, 20(7):504--513, 1977.
Static Approximation of Dynamically Generated Web Pages - Minamide (2005) (2 citations) (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Communications of ACM, 20(7):504--513, 1977.
A Unified Approach for Preventing Attacks Exploiting a.. - Xu, Bhatkar, Sekar (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504--513, July 1977.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504--513, July 1977.
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504-- 513, 1977.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
D. Denning and P. Denning. Certification of programs for secure information flow. CACM 20(7):504--513, 1977.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Commun. ACM, 20(7), 1977.
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) (Correct)
No context found.
Dorothy Denning and Peter Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504--513, 1977.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
D. Denning and P. Denning. Certification of programs for secure information flow. CACM 20(7):504--513, 1977.
Static Approximation of Dynamically Generated Web Pages - Minamide (2005) (2 citations) (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Communications of ACM, 20(7):504--513, 1977.
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) (Correct)
No context found.
Dorothy Denning and Peter Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504--513, 1977.
Cryptographically Sound Analysis of Security Protocols - Backes (2002) (7 citations) (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Communications of the ACM 20/7 (1977) 504-513.
RIFLE: An Architectural Framework for User-Centric - Neil (Correct)
No context found.
D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504-- 513, 1977.
Which Security Policy for Multiapplication Smart Cards? - Girard (1999) (10 citations) (Correct)
No context found.
Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Communication of the ACM, 20(7):504--512, July 1977.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Commun. ACM, 20(7), 1977.
Dynamic Security Labels and Noninterference - Zheng, Myers (2004) (4 citations) (Correct)
No context found.
Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Comm. of the ACM, 20(7):504--513, July 1977.
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