| 一种改进的数据求精证明规则 |
| 其他题名 | improved data refinement proof rules
|
| 张宏; 贺也平; 石志国
|
| 2008
|
| 发表期刊 | 计算机工程
 |
| ISSN | 1000-3428
|
| 卷号 | 34期号:1页码:23-25 |
| 摘要 | 提出一种改进的数据求精规则，并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出，允许非平凡的初始化，允许前向模拟和后向模拟，能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。 |
| 收录类别 | wanfang,cscd,cnki
|
| 关键词 | 多级安全系统
数据求精
前向模拟
后向模拟 Multilevel Secure System
Data Refinement
Forward Simulation
Backward Simulation
|
| 部门归属 | 基础软件国家工程研究中心
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/3748
|
| 专题 | 基础软件国家工程研究中心
|
推荐引用方式
GB/T 7714 |
张宏,贺也平,石志国. 一种改进的数据求精证明规则[J]. 计算机工程,2008,34(1):23-25.
|
| APA |
张宏,贺也平,&石志国.(2008).一种改进的数据求精证明规则.计算机工程,34(1),23-25.
|
| MLA |
张宏,et al."一种改进的数据求精证明规则".计算机工程 34.1(2008):23-25.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论