Вы здесь

Главная

National Physical Lab.

Связанные издания:

Specifying ITSEC Functionality Classes using the Claims Language
Standards and conformance testing in data security: Results of initial programme of investigation
State of the Art Techniques in Automatic Generation of Reference Implementations & Test Code from Formal Specifications
Strategies for Testing Form Assignment Software
Strategy on the Use of SPARK
Survey of Benchmarks
Testability of data security standards
Test Suite Structure and Test Purposes for the Security Features of the X.435 Protocol
The aplication of quality assurance procedures to security evaluation
The Application of Programming Languages to the Production of Reference Implementations
The Formal Specification of Safety Requirements for the Storage of Explosives
The Language Compatible Arithmetic Standard and Ada
The Representation of Data Security Standards in SDL
The Requirements for a Methodology to Test Secure Open Systems
The results of the New Approach consultation exercise
The Solution of Ordinary Differential Equations arising from Stress Transfer Mechanics
The Solution of Ordinary Differential Equations Arising from Stress Transfer Mechanics of General Symmetric Iaminates
The Stability and Utility of the ESPRIT Project, MUSiC, Performance-Based Indicators of Usability and Tools: An Evaluation of the Usability of the NPL iSDX Telephone System
The Use of Formal Methods in Data Security Standards
The validity of questionnaires designed to measure user-satisfaction of computer systems
The Value of Reference Implementations and Prototyping in a Formal Design and Testing Methodology
Using the Modula-2 Standard to verify Modula-2 Programs
Validation of Software for Dimensional Metrology
VDM specification of the MD4 message digest algorithm
VDM Specification of the Secure Hash Algorithm
Z and RAISE: A case study and comparison