中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	AKC攻击的模式、预防及案例分析学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2016 麻婧 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2016/06/29 安全协议 AKC攻击形式化验证安全性质协议转换
	基于Mealy机精化关系的验证算法期刊论文 OAI收割计算机应用与软件, 2012, 卷号: 29, 期号: 8, 页码: 169-172 梁虹; 金乃咏 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2013/09/17 形式验证性质验证精化 Mealy机
	一种基于离散时间自动机的LTL性质检测工具期刊论文 OAI收割计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全收藏 \| 浏览/下载：70/2 \| 提交时间：2011/06/10 离散时间自动机非空性检测线性时序逻辑性质时间自动机检测工具 Timed Automata 状态空间爆炸线性时序逻辑利用模型指数增长压缩存储性质验证系统规模时间空间检测效果检测速度检测过程检测方法存储延迟效率算法实验技术
	基于DTE策略的安全域隔离Z形式模型期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/07/01 安全域隔离信息流 DTE 可信管道形式化策略安全域域隔离形式模型系统安全性形式定义隔离技术形式分析方法信息流分析验证系统状态可信系统建模问题安全状态安全性质安全目标不变量语言基础Formal languages Magnetic domains Query languages Servers Specifications Verification
	时态逻辑形式化描述并发系统性质期刊论文 OAI收割海军工程大学学报, 2004, 卷号: 16, 期号: 5, 页码: 2'10-13 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/29 形式化方法并发系统时态逻辑模型检测时态逻辑形式化描述系统性质并发系统状态迁移序列形式化方法逻辑描述反应式运用语义语法应用验证模型检测基础
	反应系统的连续时序逻辑表示和验证期刊论文 OAI收割计算机学报, 2003, 卷号: 26, 期号: 11 李广元; 唐稚松 \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2010/08/26 反应系统公平转换系统时序逻辑性质验证可判定性
	基于线性时序逻辑的实时系统模型检查期刊论文 OAI收割软件学报, 2002, 卷号: 13, 期号: 2 李广元; 唐稚松 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2010/08/26 实时系统时间自动机线性时序逻辑模型检查性质验证
	带有时钟变量的线性时序逻辑与实时系统验证期刊论文 OAI收割软件学报, 2002, 卷号: 13, 期号: 1 李广元; 唐稚松 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2010/08/26 实时系统时间自动机线性时序逻辑规范语言系统描述语言性质验证