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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall, Englewood Cliffs (1992)
Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z. Prentice Hall, Englewood Cliffs (1991)
Multos GKC System User Requirements, Issue 1-9, September 4 (1997)
CESG computer security manual “F”: A formal development method for high assurance systems, Issue 1.1 (July 1995)
Barden, R., Stepney, S., Cooper, D.: Z In Practice. Prentice Hall, Englewood Cliffs (1994)
Hall, A., Chapman, R.: Correctness by Construction: Developing a Commercial Secure System. IEEE Software, 18–25 (January/ February 2002)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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