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

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:	https://eprintspublications.npl.co.uk/id/eprint/607