< back to main site

Publications

Formal specification in VDM-SL of the secure EDIFACT reference implementation.

Kelly, G (1997) Formal specification in VDM-SL of the secure EDIFACT reference implementation. NPL Report. CISE 12/97

[img] Text
cise12.pdf

Download (9MB)

Abstract

Strict Conformance Testing (SCT) is a methodology for testing products against security standards. SCT has been applied to Secure EDIFACT, and a test suite has been developed for products conforming to the Secure EDIFACT Guidelines. This report contains the reference implementation of a Secure EDIFACT translator, which was used to validate the SCT test suite.

Item Type: Report/Guide (NPL Report)
NPL Report No.: CISE 12/97
Subjects: Mathematics and Scientific Computing
Mathematics and Scientific Computing > Software Engineering
Last Modified: 02 Feb 2018 13:18
URI: http://eprintspublications.npl.co.uk/id/eprint/607

Actions (login required)

View Item View Item