On the Use of Data Refinement in the Development of Secure Communications Systems Michael Butler Original Paper Pages: 2 - 34