Preserving secrecy under refinement

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4052 LNCS, Issue , 2006, Pages 107-118

  Alur, Rajeev ^a   Černý, Pavol ^a   Zdancewic, Steve ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; MATHEMATICAL MODELS; USER INTERFACES;

LABELED TRANSITION SYSTEMS; SIMULATION-BASED PROOF TECHNIQUE; SPECIFICATION LOGICS;

SECURITY SYSTEMS;

EID: 33746373966     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787006_10     Document Type: Conference Paper

References (16)

1. M. Abadi. Protection in programming-language translations. In Proc. of ICALP'98, pages 868-883, 1998.
2. R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, and S. Tasiran. MOCHA: Modularity in model checking. In Proc. of CAV'98, pages 521-525. 1998.
3. G. Barthe, P. D'Argenio, and T. Rezk. Secure Information Flow by Self-Composition. In Proc. of CSFW'04, pages 100-114, 2004.
4. Á. Darvas, R. Hähnle, and D. Sands. A Theorem Proving Approach to Analysis of Secure Information Flow. In Proc. of SPC 2005, pages 193-208, 2005.
5. J. Halpern and K. O'Neill. Secrecy in multiagent systems. In Proc. of CSFW02, pages 32-46, 2002.
6. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
7. J. Jürjens. Secrecy-preserving refinement. In Proc. of FME'01, pages 135-152, 2001.
8. L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, 1994.
9. H. Mantel. Preserving information flow properties under refinement. In Proc. of SP'01, pages 78-91, 2001.
10. J. McLean. A general theory of composition for trace sets closed under selective interleaving functions. In Proc. of SP'94, pages 79-93, 1994.
11. K.L. McMillan. A compositional rule for hardware design refinement. In Proc. of CAV'97, pages 24-35, 1997.
12. S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In CADE'92, pages 748-752, 1992.
13. A. Sabelfeld and A. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5-19, 2003.
14. F.B. Schneider, editor. Trust in Cyberspace. National Academy Press, 1999.
15. T. Terauchi and A. Aiken. Secure Information Flow as a Safety Problem. In Proc. of SAS 2005, pages 352-367, 2005.
16. A. Zakinthinos and E. S. Lee. A general theory of security properties. In Proc. of SP'97, pages 94-102, 1997.