Skip to main content
SpringerLink
Log in

Safety versus Secrecy

(Invited Paper)

  • Conference paper
  • First Online:
Static Analysis (SAS 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1694))

Included in the following conference series:

Abstract

Safety and secrecy are formulated for a deterministic programming language. A safety property is defined as a set of program traces and secrecy is defined as a binary relation on traces, characterizing a form of Noninterference. Safety properties may have sound and complete execution monitors whereas secrecy has no such monitor.

This material is based upon activities supported by the National Science Foundation under Agreement No. CCR-9612345 [sic].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Martín Abadi. Secrecy in programming-language semantics. In Proc. 15th Mathematical Foundations of Program Semantics, pages 1–14, April 1999.

    Google Scholar 

  2. R. Focardi and R. Gorrieri. A classification of security properties for process algebras. Journal of Computer Security, 3(1):5–33, 1994/1995.

    Google Scholar 

  3. Nevin Heintze and Jon Riecke. The SLam Calculus: Programming with secrecy and integrity. In Proceedings 25th Symposium on Principles of Programming Languages, pages 365–377, San Diego, CA, January 1998.

    Google Scholar 

  4. K.R.M. Leino and R. Joshi. A semantic approach to secure information flow. In Proc 4th Int’l Conference on Mathematics of Program Construction, pages 254–271. Lecture Notes in Computer Science 1422, 1998.

    Google Scholar 

  5. John McLean. A general theory of composition for trace sets closed under selective interleaving functions. In Proceedings 1994 IEEE Symposium on Security and Privacy, pages 79–93, Oakland, CA, May 1994.

    Google Scholar 

  6. A. Sabelfeld and D. Sands. A per model of secure information flow in sequential programs. In Proc. 8th European Symposium on Programming. Lecture Notes in Computer Science 1576, March 1999.

    Google Scholar 

  7. F.B. Schneider. Enforceable security policies. Technical Report TR98-1664, Cornell University, January 1998.

    Google Scholar 

  8. Geoffrey Smith and Dennis Volpano. Secure information flow in a multi-threaded imperative language. In Proceedings 25th Symposium on Principles of Programming Languages, pages 355–364, San Diego, CA, January 1998.

    Google Scholar 

  9. Dennis Volpano and Geoffrey Smith. Eliminating covert flows with minimum typings. In Proceedings 10th IEEE Computer Security Foundations Workshop, pages 156–168, June 1997.

    Google Scholar 

  10. Dennis Volpano, Geoffrey Smith, and Cynthia Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(2,3):167–187, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Naval Postgraduate School, Monterey, CA, 93943, USA

    Dennis Volpano

Authors
  1. Dennis Volpano
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università Ca’Foscari di Venezia, via Torino 155, I-30170, Mestre-Venezia, Italy

    Agostino Cortesi

  2. Dipartimento di Matematica Pura ed Applicata, Università di Padova, via Belzoni 7, I-35131, Padova, Italy

    Gilberto Filé

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Volpano, D. (1999). Safety versus Secrecy. In: Cortesi, A., Filé, G. (eds) Static Analysis. SAS 1999. Lecture Notes in Computer Science, vol 1694. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48294-6_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-48294-6_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66459-8

  • Online ISBN: 978-3-540-48294-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation