A. C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the sixteenth ACM symposium on Operating systems principles, pages 129--142. ACM Press, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Static Verification of Security Requirements in Role Based.. - Ahmed, Tripathi (Correct)
....NuSMV [7] and SPIN [12] Compared to our work, these systems mainly specify task coordination requirements and do not provide a model to verify security properties such as information flow. Static analysis for controlling information flow using program analysis is addressed by several researchers [16, 6]. These analysis concentrate on program verification for ensuring multi level security policies related to information flow through storage channels. Finite state based model checking using tools, such as SPIN, is also explored for program analysis [5, 6] and protocol verification [14] In this ....
A. C. Myers and B. Liskov. A Decentralized Model for Information Flow Control. In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, pages 129 -- 142, 1997.
Towards a Logic for Wide-Area Internet Routing - Feamster, Balakrishnan (2003) (8 citations) (Correct)
....to analyze various properties [40] We envision our logic developing as an analogous framework that can be used to analyze existing protocols and develop new ones. We incorporate previous work on the information flow lattice model [11] and were inspired by its application to programming languages [33], which inspired the ideas that information flow can be applied to high level policy specifications for BGP. Several algorithms have been proposed to use BGP to garner information about sub AS topology [3] as well as interAS relationships and the AS hierarchy [15, 36] which provided a motivation ....
MYERS, A. C., AND LISKOV, B. A decentralized model for information flow control. In Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP) (Saint-Malo, France, October 1997), pp. 129--142.
Enforcing Robust Declassification - Myers, al. (2004) (4 citations) Self-citation (Myers) (Correct)
No context found.
A. C. Myers and B. Liskov. A decentralized model for information flow control. In Proc. ACM Symp. on Operating System Principles, pages 129--142, Oct. 1997.
A Model for Delimited Information Release - Sabelfeld, Myers (2004) (6 citations) Self-citation (Myers) (Correct)
No context found.
A. C. Myers and B. Liskov. A decentralized model for information flow control. In Proc. ACM Symp. on Operating System Principles, pages 129--142, October 1997.
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (80 citations) Self-citation (Myers) (Correct)
No context found.
A. C. Myers and B. Liskov, "A decentralized model for information flow control," in Proc. ACM Symp. on Operating System Principles, Oct. 1997, pp. 129--142.
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
No context found.
A. C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the sixteenth ACM symposium on Operating systems principles, pages 129--142. ACM Press, 1997.
IEEE June 2004 3 - Cover Feature Published (Correct)
No context found.
A.C. Myers and B. Liskov, "A Decentralized Model for Information Flow Control," Proc. 16th ACM Symp. Operating Systems Principles, ACM Press, 1997, pp. 129-142; www.acm.org/pubs/citations/ proceedings/ops/268998/p129-myers.
Secrecy by Typing in Security Protocols - Abadi (1998) (145 citations) (Correct)
No context found.
A. C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM Symposium on Operating Systems Principles, pages 129--142, 1997.
Checking Secure Interactions of Smart Card Applets - Bieber, al. (2000) (7 citations) (Correct)
No context found.
A.C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM symposium on operating systems principles, 1997.
Flow Locks - Towards Core Calculus (Correct)
No context found.
A. C. Myers and B. Liskov. A decentralized model for information flow control. In Proc. ACM Symp. on Operating System Principles, pages 129--142, Oct. 1997.
Checking Secure Interactions of Smart Card Applets: Extended.. - Bieber, al. (2002) (7 citations) (Correct)
No context found.
A.C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM symposium on operating systems principles, 1997.
Checking Secure Interactions of Smart Card - Applets Published In (Correct)
No context found.
A.C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM symposium on operating systems principles, 1997.
The PACAP Prototype: a Tool for Detecting - Java Card Illegal (Correct)
No context found.
A.C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM symposium on operating systems principles, 1997.
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
No context found.
A. C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the sixteenth ACM symposium on Operating systems principles, pages 129--142. ACM Press, 1997.
RIFLE: An Architectural Framework for User-Centric - Neil (Correct)
No context found.
A. C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the sixteenth ACM symposium on Operating systems principles, pages 129--142. ACM Press, 1997.
The PACAP Prototype: a Tool for Detecting Java Card.. - Bieber, Cazin.. (2001) (17 citations) (Correct)
No context found.
A.C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM symposium on operating systems principles, 1997.
Owned Policies for Information Security - Chen, Chong (2004) (1 citation) (Correct)
No context found.
A. C. Myersand B. Liskov. A decentralized model for information flow control. In Proc. 16th ACM Symp. on Operating System Principles (SOSP), pages 129-- 142, Saint-Malo, France, 1997.
Information flow security for XML transformations - Benzaken, Burelle, Castagna (2003) (Correct)
No context found.
A. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP), pages 129--142, 1997.
Information Flow Control among Objects: Taking Foreign Objects.. - Chou (2003) (2 citations) (Correct)
No context found.
A. C. Myers and B. Liskov, "A Decentralized Model for Information Flow Control", Proc. 17'th ACM Symp. Operating Systems Principles, pp. 129-142, 1997.
Checking Secure Interactions of Smart Card Applets - Bieber, Cazin, Girard.. (2000) (7 citations) (Correct)
No context found.
A.C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM symposium on operating systems principles, 1997.
What's in a Service? Towards Accurate Description of.. - O'Sullivan, Edmond.. (2002) (Correct)
No context found.
A.C. Myers and B. Liskov, "A decentralized model for information flow control," in Proceedings of the 16th ACM Symposium on Operating Systems Principles, Saint Malo, France, 1997, ACM Press: New York, pp. 129--142.
Checking Secure Interactions of Smart Card Applets: .. - Bieber, Cazin.. (2002) (7 citations) (Correct)
No context found.
A.C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM symposium on operating systems principles, 1997.
Checking Secure Interactions of Smart Card Applets - Bieber, Cazin, Girard.. (2000) (7 citations) (Correct)
No context found.
A.C. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the 16th ACM symposium on operating systems principles, 1997.
Channel Dependent Types for Higher-Order Mobile Processes.. - Yoshida (2004) (4 citations) (Correct)
No context found.
Myers, M., and Liskov, B., A decentralized model for information flow control, SOSP'97, 129--142, ACM, 1997.
MECA: an Extensible, Expressive System and Language for .. - Yang, Kremenek, Xie.. (2003) (Correct)
No context found.
A. Myers and B. Liskov. A decentralized model for information flow control. In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, pages 129--142, Oct. 1997.
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