-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=可信进程模型 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
Isabelle在分析安全操作系统状态机模型中的应用被引量：2
《计算机工程与设计》2008年第3期580-582,730,共4页陈坤 贺也平 
国家自然科学基金面上项目(60573042);北京市自然科学基金项目(4052016)
为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观、简洁的问题,提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数,以及模型中的安全不变量和状态迁移规则进行形...
关键词：形式化 Isabelle工具 状态机模型 安全操作系统 可信进程模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部