K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Twenty-ninth ACM Symposium on Principles of Programming Languages, pages 81--92, Jan. 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Program Logic and Program Analysis - Honda, Yoshida, Berger Self-citation (Honda Yoshida) (Correct)
No context found.
Kohei Honda and Nobuko Yoshida. A uniform type structure for secure information flow. In POPL'02, pages 81--92. ACM Press, 2002. Full version available at www.doc.ic.ac.uk/yoshida, Revised in June 2004, 84 pages.
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) Self-citation (Honda Yoshida) (Correct)
No context found.
Honda, K. and Yoshida, N. A Uniform Type Structure for Secure Information Flow, July 2001, available at www.mcs.le.ac.uk/ nyoshida/paper.html.
Program Logic and Program Analysis - Honda, Yoshida, Berger Self-citation (Honda Yoshida) (Correct)
No context found.
Kohei Honda and Nobuko Yoshida. A uniform type structure for secure information flow. In POPL'02, pages 81--92. ACM Press, 2002.
From Process Logic to Program Logic - Honda (2004) Self-citation (Honda) (Correct)
No context found.
Honda, K. and Yoshida, N., A Uniform Type Structure for Secure Information Flow, POPL'02, 81--92, ACM, 2002.
Appendix - Program Logic and Program Analysis - Honda, Yoshida, Berger Self-citation (Honda Yoshida) (Correct)
No context found.
Kohei Honda and Nobuko Yoshida. A uniform type structure for secure information flow. In POPL'02, pages 81--92. ACM Press, 2002.
Type-Based Security for Mobile Computing: Integrity.. - Nobuko Yoshida.. (2004) Self-citation (Yoshida) (Correct)
No context found.
Honda, K. and Yoshida, N., A Uniform Type Structure for Secure Information Flow, POPL '02, pp.81--92, ACM SIGACT-SIGPLAN, ACM Press, 2002.
Process Logic and Duality - Part I: Sequential Processes - Honda Self-citation (Honda) (Correct)
No context found.
Honda, K. and Yoshida, N., A Uniform Type Structure for Secure Information Flow, POPL'02, 81-92, ACM, 2002.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Twenty-ninth ACM Symposium on Principles of Programming Languages, pages 81--92, Jan. 2002.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Twenty-Ninth ACM Symposium on Principles of Programming Languages, pages 81--92, Jan. 2002.
A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Twenty-Ninth ACM Symposium on Principles of Programming Languages, pages 81--92, Jan. 2002.
Under consideration for publication in J. Functional.. - Karl Crary Aleksey (Correct)
No context found.
Honda, Kohei, & Yoshida, Nobuko. 2002 (Jan.). A uniform type structure for secure information flow. Pages 81--92 of: Twenty-ninth ACM symposium on principles of programming languages.
Typing Noninterference for Reactive Programs - Matos, Boudol, Castellani (2004) (Correct)
No context found.
N. Yoshida K. Honda. A uniform type structure for secure information flow. In Proceedings of the The 29th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, 2002.
Typing Noninterference for Reactive Programs - Matos, Boudol, Castellani (2004) (Correct)
No context found.
N. Yoshida K. Honda. A uniform type structure for secure information flow. In Proceedings of the The 29th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, 2002.
A Monadic Analysis of Information Flow Security with.. - Crary, Kliger, Pfenning (2004) (1 citation) (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Twenty-Ninth ACM Symposium on Principles of Programming Languages, pages 81--92, Jan. 2002.
Useless-Code Elimination and Program Slicing for the Pi-Calculus - Kobayashi (2003) (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pages 81--92, 2002.
Type-Based Information Flow Analysis for the Pi-Calculus - Kobayashi (2003) (2 citations) (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Proc. of POPL, pages 81--92, 2002. 31
Owned Policies for Information Security - Chen, Chong (2004) (1 citation) (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Conference Record of the Twenty-Ninth Annual ACM Symposium on Principles of Programming Languages, pages 81--92. ACM Press, January 2002.
A Monadic Analysis of Information Flow Security with.. - Crary, Kliger, Pfenning (2003) (1 citation) (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Twenty-ninth ACM Symposium on Principles of Programming Languages, pages 81--92, Jan. 2002.
Type Systems for Concurrent Programs - Kobayashi (2002) (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Proc. of POPL, pages 81--92, 2002.
A Monadic Analysis of Information Flow Security with.. - Crary, Kliger, Pfenning (2003) (1 citation) (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Twenty-Ninth ACM Symposium on Principles of Programming Languages, pages 81--92, Jan. 2002.
Useless-Code Elimination and Program Slicing for the Pi-Calculus - Kobayashi (2003) (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Proc. of POPL, pages 81--92, 2002.
Confidentiality for Multithreaded Programs via Bisimulation - Sabelfeld (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Proc. ACM Symp. on Principles of Programming Languages, pages 81--92, January 2002.
A Generic Type System for the Pi-Calculus - Igarashi, Kobayashi (2003) (30 citations) (Correct)
No context found.
K. Honda and N. Yoshida. A uniform type structure for secure information flow. In Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pages 81--92, 2002.
Channel Dependent Types for Higher-Order Mobile Processes.. - Yoshida (2004) (4 citations) (Correct)
No context found.
Honda, K. and Yoshida, N., A Uniform Type Structure for Secure Information Flow, POPL'02, 81--92, ACM Press, 2002.
Type-Based Information Flow Analysis for Low-Level Languages - Kobayashi, Shirane (2002) (3 citations) (Correct)
No context found.
Kohei Honda and Nobuko Yoshida. A uniform type structure for secure information flow. In Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pages 81--92, 2002.
First 50 documents
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