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), pp. 2-34.

Download

[img] Postscript dsse-tr-2001-1.ps - Other
Download (401kB)
Item Type: Article
Organisations: Electronic & Software Systems
ePrint ID: 257744
Date :
Date Event
2002Published
Date Deposited: 23 Jun 2003
Last Modified: 17 Apr 2017 22:48
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/257744

Actions (login required)

View Item View Item