安全的数据类型规格说明

讨论了当前数据类型规格说明的安全性，引入了比Ｊ．Ｖ．Ｇｕｔｔａｇ教授的充分完备性更强的安全性这一概念，给出了几个典型的数据类型安全规格说明。