SMV

作品数：250被引量：714H指数：15
导出分析报告
相关领域：农业科学更多>>
相关作者：智海剑盖钧镒王大刚李凯张明厚更多>>
相关机构：南京农业大学东北农业大学河北农业大学黑龙江省农业科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家现代农业产业技术体系建设项目国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SET协议模型的改进与SMV分析被引量：2
《计算机工程与应用》2010年第8期113-116,共4页鲁四美 张建林 
北京市教委科技计划(No.KM200510028016)
在以Lu&Smolka对SET协议支付过程的简化模型为研究对象的情况下,进行形式化建模和有限状态机模型。同时应用CTL对相应的安全性质进行形式描述,并在网络环境被入侵者控制的假设下,利用SMV分析了协议的认证性、保密性和完整性,发现攻击并...
关键词：安全电子交易 符号模型验证器 符号模型 模型检测 
互联网密钥交换协议的SMV分析被引量：6
《计算机工程与应用》2005年第19期154-157,173,共5页常亮 古天龙 郭云川 
该文基于SMV对新版本的互联网密钥交换协议(IKEv2)进行了分析。在对IKEv2协议进行形式建模,以及应用CTL对相应的安全性质进行形式描述的基础上,利用SMV分析了协议的认证性、秘密性和完整性,发现了两个攻击,并对这两个攻击所产生的影响...
关键词：IKE协议 模型检测 SMV 
安全支付协议的设计与验证研究被引量：3
《计算机工程与应用》2005年第6期139-143,共5页彭勋 董荣胜 郭云川 蔡国永 
广西自然科学基金(编号:0229051)的资助
安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。
关键词：安全支付协议 SEP安 全性 原子性 符号模型验证 SMV 
SMV语音编码算法及仿真被引量：7
《计算机工程与应用》2003年第29期84-86,共3页宁更新 方敏群 韦岗 
国家自然科学基金(编号:60172048)
介绍了第三代通信系统中的可选模式语音声码器(SMV)语音编码方式,简要描述了SMV的编、解码基本原理。并进行了该算法的定点C代码仿真,给出了算法的性能、计算复杂度及存储空间等仿真结果。
关键词：可选模式 多码皋激励预测 线性预测 语音编码 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部