Skip to main content
SpringerLink
Log in

Data Flow Analysis for CCS

  • Chapter
Program Analysis and Compilation, Theory and Practice

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4444))

Abstract

Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementation of these languages. Robin Milner’s Calculus of Communicating Systems, CCS, is concerned with modelling concurrent systems and has mainly been analysed using types and control flow analyses. In the present paper we present an instance of a Monotone Framework together with a novel worklist algorithm for more precisely approximating the flow-sensitive control structure of even infinitary processes expressed in CCS.

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

Access this chapter

Log in via an institution
eBook
USD 16.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. Aho, A.V., et al.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (2006)

    Google Scholar 

  2. Bodei, C., et al.: Static validation of protocol narration. Journal of Computer Security 13, 347–390 (2005)

    Google Scholar 

  3. Bodei, C., et al.: Static analysis for the π-calculus with applications to security. Information and Computation 168, 68–92 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  4. Bodei, C., et al.: Flow logic for Dolev-Yao secrecy in cryptographic processes. FGCS 18(6), 747–756 (2002)

    MATH  Google Scholar 

  5. Boyd, C., Mathuria, A.: Protocols for authentication and key establishment. Springer, Heidelberg (2003)

    Google Scholar 

  6. Buchholz, M., Riis Nielson, H., Nielson, F.: A calculus for control flow analysis of security protocols. International Journal of Information Security 2, 145–167 (2004)

    Google Scholar 

  7. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Symposium on Principles of Programming Languages, pp. 269–282. ACM Press, New York (1979)

    Google Scholar 

  8. Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998 and ETAPS 1998. LNCS, vol. 1381, pp. 122–138. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  9. Milner, R.: Communicating and Mobile Systems: The pi-Calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  10. Neubauer, M., Thiemann, P.: An implementation of session types. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol. 3057, pp. 56–70. Springer, Heidelberg (2004)

    Google Scholar 

  11. Nielson, F., Riis Nielson, H., Hankin, C.L.: Principles of Program Analysis (Second printing). Springer, Heidelberg (2005)

    MATH  Google Scholar 

  12. Nielson, F., Riis Nielson, H., Hansen, R.R.: Validating firewalls using flow logics. Theoretical Computer Science 283(2), 381–418 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  13. Nielson, F., Riis Nielson, H., Seidl, H.: Cryptographic analysis in cubic time. Electronic Notes of Theoretical Computer Science 62, 7–23 (2002)

    Article  Google Scholar 

  14. Riis Nielson, H., Nielson, F.: Shape analysis for mobile ambients. Nordic Journal of Computing 8, 233–275 (2001)

    MATH  MathSciNet  Google Scholar 

  15. Riis Nielson, H., Nielson, F., Buchholtz, M.: Security for Mobility. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2001. LNCS, vol. 2946, pp. 207–266. Springer, Heidelberg (2004)

    Google Scholar 

  16. Riis Nielson, H., Nielson, F., Pilegaard, H.: Spatial analysis of BioAmbients. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol. 3148, Springer, Heidelberg (2004)

    Google Scholar 

  17. Tolstrup, T.K., Nielson, F., Riis Nielson, H.: Information flow analysis for VHDL. In: Malyshkin, V.E. (ed.) PaCT 2005. LNCS, vol. 3606, Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  18. Vasconcelos, V.T., Ravara, A., Gay, S.J.: Session types for functional multithreading. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 497–511. Springer, Heidelberg (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatics and Mathematical Modelling, Richard Petersens Plads bldg. 321, Technical University of Denmark, DK-2800 Kongens Lyngby, Denmark

    Hanne Riis Nielson & Flemming Nielson

Authors
  1. Hanne Riis Nielson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Flemming Nielson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Thomas Reps Mooly Sagiv Jörg Bauer

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this chapter

Cite this chapter

Nielson, H.R., Nielson, F. (2007). Data Flow Analysis for CCS. In: Reps, T., Sagiv, M., Bauer, J. (eds) Program Analysis and Compilation, Theory and Practice. Lecture Notes in Computer Science, vol 4444. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71322-7_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-71322-7_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-71315-9

  • Online ISBN: 978-3-540-71322-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation