Skip to main content
SpringerLink
Log in

Z Styles for Security Properties and Modern User Interfaces

  • Conference paper
Formal Aspects of Security (FASec 2002)

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

Included in the following conference series:

  • 248 Accesses

Abstract

This paper describes two new styles for using Z. The first style, based on earlier work for the UK Government, is suitable for the specification of security properties in the shape of a formal security policy model. The second, an extension of the Established Strategy, is useful for specifying systems with modern graphical user interfaces and also for showing satisfaction of security properties. The work is based on a successful industrial project.

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. Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall, Englewood Cliffs (1992)

    Google Scholar 

  2. Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z. Prentice Hall, Englewood Cliffs (1991)

    MATH  Google Scholar 

  3. Multos GKC System User Requirements, Issue 1-9, September 4 (1997)

    Google Scholar 

  4. CESG computer security manual “F”: A formal development method for high assurance systems, Issue 1.1 (July 1995)

    Google Scholar 

  5. Barden, R., Stepney, S., Cooper, D.: Z In Practice. Prentice Hall, Englewood Cliffs (1994)

    MATH  Google Scholar 

  6. Hall, A., Chapman, R.: Correctness by Construction: Developing a Commercial Secure System. IEEE Software, 18–25 (January/ February 2002)

    Google Scholar 

  7. Hall, A.: Correctness by Construction: Integrating Formality into a Commercial Development Process. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 224–233. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Praxis Critical Systems, 20 Manvers Street, Bath, BA1 1PX

    Anthony Hall

Authors
  1. Anthony Hall
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of BCIM, Institute for Computing Research, London South Bank University, 103 Borough Road, SE1 0AA, London, UK

    Ali E. Abdallah

  2. University of Newcastle, UK

    Peter Ryan

  3. Department of Computing, University of Surrey,  

    Steve Schneider

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hall, A. (2003). Z Styles for Security Properties and Modern User Interfaces. In: Abdallah, A.E., Ryan, P., Schneider, S. (eds) Formal Aspects of Security. FASec 2002. Lecture Notes in Computer Science, vol 2629. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40981-6_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40981-6_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20693-4

  • Online ISBN: 978-3-540-40981-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation