KAILAR逻辑

作品数：28被引量：62H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：高悦翔彭代渊石曙东李祥文静华更多>>
相关机构：贵州大学西南交通大学解放军信息工程大学四川师范大学更多>>
相关期刊：《电子科技大学学报》《计算机工程与应用》《计算机与信息技术》《软件学报》更多>>
相关基金：国家自然科学基金贵州省自然科学基金湖北省教育厅重点项目西北师范大学校科研和教改项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个多方认证邮件协议的分析与改进被引量：1
《计算机科学》2012年第11期58-61,97,共5页高悦翔 彭代渊 
多方认证邮件协议被广泛用于在多方网络环境中传递具有保密性、不可否认性、公平性、无排斥性以及时限性性的电子邮件。指出了一个典型的多方认证邮件协议存在不满足公平性、可追究性以及个别不诚实参与方行为导致整个协议执行失败等安...
关键词：多方认证邮件协议 可追究性 公平性 签密 KAILAR逻辑 
Kailar逻辑的串空间语义
《计算机科学》2006年第3期87-88,96,共3页缪祥华 何大可 
Kailar 在1996年发表了“电子商务协议中的可追究性”一文,使得电子商务协议的形式化分析得到了重大的发展。但是 Kailar 逻辑的语义一直没有人提出来过,而逻辑的语义对于逻辑的正确性是至关重要的。本文的主要工作就是给出了 Kailar ...
关键词：逻辑 语义 串空间 电子商务协议 
具有时限约束的安全协议分析技术研究
《计算机科学》2005年第1期80-85,共6页董荣胜 彭勋 郭云川 古天龙 
国家自然科学基金(60243002)
本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架。通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现了协议存在的时限问题,修改了协议并给出了修改后的协议满足...
关键词：时限约束 安全协议分析技术 KAILAR逻辑 形式化方法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部