Вы здесь

Lampard R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П An Appraisal of Communicating Sequential Processes 1991 Lampard R. National Physical Lab. 18.05.1991
П 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
П 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
П Specifying ITSEC Functionality Classes using the Claims Language 1991 Lampard R. National Physical Lab. 10.01.1992
П The Requirements for a Methodology to Test Secure Open Systems 1993 Lampard R. National Physical Lab. 25.12.1993
П The aplication of quality assurance procedures to security evaluation 1995 Szczygiel B., Lampard R., Barker R. National Physical Lab. 22.09.1995
П Security Target and Test Purposes for EDIFACT 1995 Lampard R. National Physical Lab. BYTE 01.03.1996