Вы здесь

Harry A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П The Application of Programming Languages to the Production of Reference Implementations 1992 Harry A. National Physical Lab. 25.12.1992
П The Value of Reference Implementations and Prototyping in a Formal Design and Testing Methodology 1992 Harry A. National Physical Lab. 25.12.1992
П State of the Art Techniques in Automatic Generation of Reference Implementations & Test Code from Formal Specifications 1992 Harry A. National Physical Lab. 25.12.1992
П RAISE Specification of the MD4 Message Digest Algorithm 1992 Harry A. National Physical Lab. Lecture Notes in Computer Science 25.12.1992
П The Use of Formal Methods in Data Security Standards 1992 Harry A. National Physical Lab. 07.01.1993
П VDM specification of the MD4 message digest algorithm 1992 Harry A. National Physical Lab. 05.02.1993
П VDM Specification of the Secure Hash Algorithm 1992 Harry A. National Physical Lab. 11.02.1993
П Security Clauses in the Writing and Analysis of Standards 1993 Szczygiel B., Harry A. National Physical Lab. Information Processing Letters 24.03.1993
П Testability of data security standards 1993 Manning R., Szczygiel B., Harry A. National Physical Lab. 08.07.1993
П Z and RAISE: A case study and comparison 1995 Harry A. National Physical Lab. 22.09.1995