|
П |
An Appraisal of Communicating Sequential Processes |
1991 |
Lampard R. |
|
|
National Physical Lab. |
|
18.05.1991 |
|
П |
Specifying ITSEC Functionality Classes using the Claims Language |
1991 |
Lampard R. |
|
|
National Physical Lab. |
|
10.01.1992 |
|
П |
Specification of the Two-way Handshake in VDM |
1991 |
Lampard R. |
|
|
National Physical Lab. |
|
16.10.1991 |
|
П |
Automatic Claims Derivation from a User s Security Policy using AI Techniques |
1991 |
Lampard R. |
|
|
National Physical Lab. |
|
09.01.1992 |
|
П |
Formal Methods in IT Security Standards - Scope for Usage |
1991 |
Lampard R. |
|
|
National Physical Lab. |
|
18.05.1991 |
|
П |
Formal Description Techniques in Data Security: An Evaluation and Comparison |
1991 |
Lampard R. |
|
|
National Physical Lab. |
|
03.07.1991 |
|
П |
The Requirements for a Methodology to Test Secure Open Systems |
1993 |
Lampard R. |
|
|
National Physical Lab. |
|
25.12.1993 |
|
П |
Security Target and Test Purposes for EDIFACT |
1995 |
Lampard R. |
|
|
National Physical Lab. |
BYTE |
01.03.1996 |
|
П |
The aplication of quality assurance procedures to security evaluation |
1995 |
Szczygiel B., Lampard R., Barker R. |
|
|
National Physical Lab. |
|
22.09.1995 |
