形式化证明

作品数：37被引量：104H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：左正康沈昌祥李益发王昌晶郁文生更多>>
相关机构：江西师范大学北京邮电大学解放军信息工程大学中国科学技术大学更多>>
相关期刊：《江西师范大学学报（自然科学版）》《计算机系统应用》《现代电子技术》《中国科技论文在线精品论文》更多>>
相关基金：国家自然科学基金江西省自然科学基金中央高校基本科研业务费专项资金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种恶意模型下高效的两方安全计算协议被引量：1
《计算机工程与科学》2013年第3期58-65,共8页杨勇 
为了提高恶意参与者模型下两方安全计算协议的效率,文中协议使用了简单的轮换映射,这样不仅可以检测恶意参与方输入的一致性,而且避免了检测一致性时由于图的全连接性带来的复杂度,从而与经典协议相比效率提高了近50%。此外,为了使协议...
关键词：算法 安全计算 恶意模型 协议 形式化证明 安全性 计算电路 
后序遍历二叉树非递归算法的推导及形式化证明被引量：9
《计算机工程与科学》2010年第3期119-123,共5页左正康 游珍 薛锦云 
国家自然科学基金资助项目(60573080;60773054);江西师范大学青年成才基金资助项目(1474);江西省自然科学基金资助项目(2008GQS0056)
开发涉及非线性数据结构算法程序的循环不变式一直是形式化方法的难点。本文使用PAR方法开发循环不变式的新策略,对后序遍历二叉树问题循环不变式的开发使用递归定义技术,得到了该问题循环不变式的简单精确的表达形式,简化了算法程序的...
关键词：后序遍历二叉树 循环不变式 PAR方法 非线性数据结构 Dijkstra-Gries标准程序证明法 
RSA-CEMD协议的分析及基于串空间模型的形式化证明被引量：1
《计算机工程与科学》2007年第2期12-14,23,共4页卜凡金 邢育红 
电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键。本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性...
关键词：公平交换协议 串空间 认证测试 形式化分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部