170 citations found. Retrieving documents...
J.A. Goguen and J. Meseguer, "Security Policies and Security Models," Proc. 1982 IEEE Symp. Security and Privacy, IEEE Press, 1982, pp. 11--20.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Editors: Nancy R. Mead, nrm@sei.cmu.edu - Gary Mcgraw Gem   (Correct)

No context found.

J.A. Goguen and J. Meseguer, "Security Policies and Security Models," Proc. 1982 IEEE Symp. Security and Privacy, IEEE Press, 1982, pp. 11--20.


Dynamic Updating of Information-Flow Policies - Michael Hicks Stephen (2005)   (1 citation)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In IEEE Symposium on Security and Privacy, pages 11--20. IEEE Computer Society Press, April 1982.


Typing Noninterference for Reactive Programs - Matos, Boudol, Castellani (2004)   (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proceedings 1982.


Probabilistic Noninterference for Multi-threaded Programs - Andrei Sabelfeld David (1999)   (46 citations)  (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the IEEE Symposium on Security and Privacy. IEEE Computer Society Press, April 1982.


Checking Secure Information Flow in Java Bytecode.. - Bernardeschi, De..   (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In IEEE Symposium on Security and Privacy Proceedings, pages 11--20, 1982.


A Program Transformation Technique for Enforcement .. - Venkatakrishnan..   (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In IEEE Symposium on Security and Privacy, pages 11--20, Apr. 1982.


A Unified Approach for Preventing Attacks Exploiting a.. - Xu, Bhatkar, Sekar   (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In IEEE Symposium on Security and Privacy, 1982.


Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004)   (2 citations)  (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the 1982.


A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005)   (1 citation)  (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symp. on Security and Privacy, pages 11--20, 1982.


Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004)   (7 citations)  (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symp. on Security and Privacy, pages 11--20, 1982.


A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005)   (1 citation)  (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symp. on Security and Privacy, pages 11--20, 1982.


pure: Useful Abstractions in Specifications - Mike Barnett David (2004)   (3 citations)  (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the 1982 IEEE Symposium on Security and Privacy, pages 11--20, 1982.


A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005)   (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symp. on Security and Privacy, pages 11--20, 1982.


Noninterference for Concurrent Programs and Thread Systems - Boudol, Castellani (2001)   (10 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proceedings 1982.


Typing Noninterference for Reactive Programs - Matos, Boudol, Castellani (2004)   (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proceedings 1982.


Formalization and Verification of Fault Tolerance and Security - Gärtner (2001)   (Correct)

No context found.

Goguen, J. A. and Meseguer, J. 1982. Security policies and security models. In Proceedings of the 1982 Symposium on Security and Privacy (SSP '82) (Los Alamitos, Ca., USA, April 1982), pp. 11--20. IEEE Computer Society Press.


Dynamic Security Labels and Noninterference - Zheng, Myers (2004)   (4 citations)  (Correct)

No context found.

Joseph A. Goguen and Jose Meseguer. Security policies and security models. In Proc. IEEE Symposium on Security and Privacy, pages 11--20, April 1982.


SECCO 2003 Preliminary Version - Formal Approach For   (Correct)

No context found.

J.A. Goguen and J. Meseguer. Security Policies and Security Models. In Proc. of the IEEE Symposium on Security and Privacy, pages 11-20. IEEE Comp. Soc. Press., 1982.


Exploring Aspects in the Context of Reactive Systems - Karine Altisen Centre (2004)   (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 11--20, Oakland, CA, Apr. 1982. IEEE Computer Society Press.


Information Leakage Detection in Boundary Ambients - Braghin, Cortesi, Focardi (2003)   (Correct)

No context found.

Goguen, J. and J. Meseguer, Security Policies and Security Models, in: Proc. of Symposium on Security and Privacy (1992), pp. 11-20.


Specification and Refinement of Secure IT-Systems - Exte Nd Ed   (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the 1982.


Information Flow vs. Resource Access in the Asynchronous.. - Hennessy, Riely (2000)   (8 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In IEEE Symposium on Security and privacy, 1992.


Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004)   (7 citations)  (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symp. on Security and Privacy, pages 11--20, 1982.


Confidentiality and Integrity with Untrusted Hosts - Steve Zdancewic Andrew   (2 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symposium on Security and Privacy, pages 11--20, April 1982.


A Unifying Approach to the Security of Distributed and.. - Mantel, Sabelfeld (2002)   (1 citation)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the IEEE Symposium on Security and Privacy, pages 11--20, Apr. 1982.


SPC 01-4025 Mobile Language Study - Dam, Giambiagi (2003)   (Correct)

No context found.

J.A. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the 1982.


Owned Policies for Information Security - Chen, Chong (2004)   (1 citation)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symposium on Security and Privacy, pages 11--20, April 1982.


Formal Proofs of Confidentiality in Java Pograms - Jacobs, Warnier   (Correct)

No context found.

J.A Goguen and J. Meseguer. Security policies and security models. pages 11-20, 1982.


PSOS Revisited - Neumann, Feiertag (2003)   (1 citation)  (Correct)

No context found.

J.A. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the 1982.


On Approximate Non-Interference - Alessandra Di Pierro (2002)   (13 citations)  (Correct)

No context found.

Joseph Goguen and Jose Meseguer. Security Policies and Security Models. In IEEE Symposium on Security and Privacy, pages 11-20. IEEE Computer Society Press, 1982. Note that these notions refer to a concept of \simulation" rather than of \similarity". 11


History-based Access Control and Secure Information Flow - Banerjee, Naumann   (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the 1982 IEEE Symposium on Security and Privacy, pages 11--20, 1982.


Enforcing Robust Declassification - Myers, al. (2004)   (4 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symp. on Security and Privacy, pages 11--20, Apr. 1982.


Intransitive Non-Interference for Cryptographic Purposes - Backes, Pfitzmann (2003)   (2 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proc. 3rd IEEE Symposium on Security & Privacy, pages 11--20, 1982.


Confidentiality for Multithreaded Programs via Bisimulation - Sabelfeld   (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symp. on Security and Privacy, pages 11--20, April 1982.


Principled Assuredly Trustworthy Composable Architectures - Neumann (2004)   (2 citations)  (Correct)

No context found.

J.A. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the 1982.


Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004)   (7 citations)  (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symp. on Security and Privacy, pages 11--20, 1982.


Run-time Principals in Information-flow Type Systems - Stephen Tse Steve (2004)   (5 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symposium on Security and Privacy, pages 11--20. IEEE Computer Society Press, Apr. 1982.


A Model for Delimited Information Release - Sabelfeld, Myers (2004)   (6 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symp. on Security and Privacy, pages 11--20, April 1982.


Static Analysis of Distributed Systems with Mobility Specified.. - Baldan, al. (2002)   (2 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proceedings 1982.


Modular and Constraint-based Information Flow Inference.. - Sun, Banerjee, Naumann (2004)   (Correct)

No context found.

J. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the 1982 IEEE Symposium on Security and Privacy, pages 11--20, 1982.


Information Integrity Policies - Peng Li Yun (2003)   (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symposium on Security and Privacy, pages 11-20. IEEE Computer Society Press, April 1982.


Run-time Principals in Information-flow Type Systems - Tse, Zdancewic (2004)   (5 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symposium on Security and Privacy, pages 11--20. IEEE Computer Society Press, Apr. 1982.


Verifying Persistent Security Properties - Bossi, Focardi, Piazza, Rossi   (Correct)

No context found.

J. A. Goguen, J. Meseguer, Security Policies and Security Models, in: Proc. of the IEEE Symposium on Security and Privacy (SSP'82), IEEE Computer Society Press, 1982, pp. 11-20.


Supporting Reconfigurable Security Policies For Mobile.. - Hashii, Malabarba.. (2000)   (3 citations)  (Correct)

No context found.

J.A. Goguen and J. Meseguer, Security policies and security models, in: Proc. of the 1982 Symposium on Security and Privacy, pp. 11--20.


Language-Based Information-Flow Security - Sabelfeld, Myers (2003)   (80 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer, "Security policies and security models," in Proc. IEEE Symp. on Security and Privacy, Apr. 1982, pp. 11--20.


The Security Picalculus and Non-interference - Hennessy (2000)   (4 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In IEEE Symposium on Security and privacy, 1992.


Information Flow Security and Recursive Systems - Bossi, Macedonio, Piazza, Rossi   (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security Policies and Security Models. In Proc. of the IEEE Symposium on Security and Privacy, pages 11-20. IEEE Comp. Soc. Press, 1982.


A Proof System for Information Flow Security - Annalisa Bossi Riccardo (2002)   (1 citation)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security Policies and Security Models. In Proc. of the IEEE Symp. on Security and Privacy, pages 11-20. IEEE, 1982.


Refinement Operators and Information Flow Security - Bossi, Focardi, Piazza, Rossi   (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security Policies and Security Models. In Proc. of the IEEE Symposium on Security and Privacy, pages 11--20. IEEE Computer Society Press, 1982.


Partitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (2000)   (11 citations)  (Correct)

No context found.

J. A. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the Symposium on Security and Privacy, pages 11--20, IEEE Computer Society, Oakland, CA, April 1982.

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