计算机工程2008，Vol.34Issue(1)：23-25,3.
一种改进的数据求精证明规则
Improved Data Refinement Proof Rules
张宏 1贺也平 2石志国1
作者信息
- 1. 中国科学院软件研究所,北京,100080
- 2. 中国科学院研究生院,北京,100049
- 折叠
摘要
关键词
多级安全系统/数据求精/前向模拟/后向模拟分类
信息技术与安全科学引用本文复制引用
张宏,贺也平,石志国..一种改进的数据求精证明规则[J].计算机工程,2008,34(1):23-25,3.基金项目
国家"973"计划基金资助项目(G1999035802) （G1999035802）
