참고문헌
- Z An Introduction to Formal Methods Antoni Diller
- The Way of Z. Cambridge Jonathan Jacky
- Z in Practice Rosalind Barden;Susan Stepney;David Cooper
- In Proceedings of ESEC'89 no.387 Practical experience of formal specifications : a programming interface for communications John B. Wordsworth
- Using Z : specification, proof and refinement James C.P. Woodcook;Jim Davis
- Specification and design of a library systems The Theory and practice of Refinment : Approaches to the Formal Development of large-Scale Software System Steve King;Ib Holm Sφrensen;John A. McDermid(ed.)
- IBM Technical Repotr TR12.301 The CICS application programming interface: Temporary storage David Blyth
- In Conference Contributions v.551 CICS project report : Experience and results from the use of Z in IBM Iain S.C. Houston;Steve King
- IBM Technical Report TR12.299 The CICS application programming interface : Transient data and storage control P. Mundy;John B. Wordsworth
- An Introduction to Formal Specification and Z. Ben Potter;Jane Sinclair;David Till
- RFC 1320 The MD4 Message-Digest Algorithm Ronald L. Rivest
- RFC 1321 The MD5 Message-Digest Algorithm Ronald L. Rivest
- Federal Information Processing Standard Publication 180-1 Secure Hash Standard
- Z Notation Ver 1.2 John Nicholls
- SEJ v.4 no.1 An Introdiction to Z and Formal Specifications J.M. Spivey
- Formal Methods Fact File : VDM and Z Andrew Harry
- Proceedings of the IEEE 25th Annual Symposium on Foundations of Computer Science RSA/Rabin bits are 1/2 + 1/poly(log n) secure W. Alexi;B. Chor;O. Goldreich;C.P. Schnorr
- 정보통신연구 v.11 no.2 전자대금 결재를 위한 보안기술 현황 백은경
- 국내·외 정보 보호 시스템 평가 가이드
- The Z/EVES User's Guide Mark Saaltink