On the Use of Data Refinement in the Development of Secure Communications Systems

Butler, M. J. (2002) On the Use of Data Refinement in the Development of Secure Communications Systems. Formal Aspects of Computing, 14 (1), 2-34.

Record type: Article

Other

dsse-tr-2001-1.ps - Other

Download (401kB)

More information

Published date: 2002

Organisations: Electronic & Software Systems

Local EPrints ID: 257744

URI: http://eprints.soton.ac.uk/id/eprint/257744

PURE UUID: e239306e-654c-45bc-8393-96b9ec295e2e

ORCID for M. J. Butler:

orcid.org/0000-0003-4642-5373

Date deposited: 23 Jun 2003

Last modified: 15 Mar 2024 02:50

Author: M. J. Butler

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.