|
П |
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 |
|
П |
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 |
|
П |
The Application of Programming Languages to the Production of Reference Implementations |
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 |
|
П |
The Value of Reference Implementations and Prototyping in a Formal Design and Testing Methodology |
1992 |
Harry A. |
|
|
National Physical Lab. |
|
25.12.1992 |
|
П |
Testability of data security standards |
1993 |
Manning R., Szczygiel B., Harry A. |
|
|
National Physical Lab. |
|
08.07.1993 |
|
П |
Security Clauses in the Writing and Analysis of Standards |
1993 |
Szczygiel B., Harry A. |
|
|
National Physical Lab. |
Information Processing Letters |
24.03.1993 |
|
П |
Z and RAISE: A case study and comparison |
1995 |
Harry A. |
|
|
National Physical Lab. |
|
22.09.1995 |
