聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 基于SPIN的SET协议模型检测研究
出处:2009年全国理论计算机科学学术年会
摘要:模型检测技术已成功地运用于验证复杂系统的性质。本文提出运用PROMELA语言对电子商务协议进行建模的方法,... 显示全部
关键词: 语言 电子商务 协议 模型检测
会议论文 密码协议的形式分析
出处:第七届中国密码学学术会议
摘要:形式方法可以辅助设计、分析和验证网络和分布式系统中的密码协议.本文对密码协议形式分析化现状进行了综述... 显示全部
关键词: 密码协议 协议分析 形式方法 计算机通信网 分布式系统 模型检测
会议论文 密码协议的SMV分析:实例研究
出处:1999信息安全国际会议
摘要:SMV是分析有限状态系统的一种工具。提出了使用SMV来分析密码协议的方法。为了说明这种方法的可行性,用SMV... 显示全部
关键词: 模型检测 公钥密码协议
会议论文 模型检测中状态爆炸及其优化策略研究
出处:广西计算机学会2008年年会
摘要:模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,简洁明了和自动化程度高,在生产实践中得到... 显示全部
关键词: 模型检测 状态爆炸 形式验证 时态逻辑 优化策略 有限状态系统
会议论文 基于SPIN的协议分析技术研究
出处:广西计算机学会2008年年会
摘要:随着网络规模不断扩大,协议已广泛应用在各种分布式的网络环境中.使用形式化的分析方法有助于发现协议设计... 显示全部
关键词: 模型检测 网络规模 网络协议 协议分析
会议论文 NSPK协议的Spin模型检测
出处:2008年全国开放式分布与并行计算学术年会
摘要:NSPK协议是一个经典的认证密码协议。通过建立该协议的Promela模型,采用线性时序逻辑描述模型性质,并用模型... 显示全部
关键词: 模型检测 协议 模型 认证密码协议
会议论文 基于模型检测的可信软件栈测试
出处:2010年第四届中国可信计算与信息安全学术会议
摘要:基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通... 显示全部
关键词: 可信计算平台 可信软件栈 模型检测 计算树逻辑 一致性测试
会议论文 基于Java内存模型的并发程序模型检测
出处:第五届中国测试学术会议
摘要:为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,缓存技术也会造成共享数据的更新顺... 显示全部
关键词: 内存模型 模型检测 并发程序 多线程 软件测试
会议论文 基于Spin的工作流模型验证
出处:第二十三届中国数据库学术会议(NDBC2006)
摘要:一个工作流模型,其正确性、有效性以及性能效率等都是受人关注的.一个包含错误的工作流过程定义有可能会导... 显示全部
关键词: 工作流模型 模型检测 覆盖图 属性约简
会议论文 Needham-Schroeder公钥协议的SMV分析
出处:第六届全国青年通信学术会议
摘要:该文首次尝试运用形式方法的模型检测工具SMV(SymbolicModelVerifier)对著名的Needham-Schroeder公钥协议进... 显示全部
关键词: 公钥协议 工具软件 密码协议 模型检测 网络安全
找到10条结果
`