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.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_postscript.png) |
Postscript
Download (392Kb) |
| Item Type: | Article |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 257744 |
| Date Deposited: | 23 Jun 2003 |
| Last Modified: | 01 Mar 2012 10:53 |
| Contributors: | Butler, M. J. (Author) |
| Date: | 2002 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/257744 |
Actions (login required)
 |
View Item |
