全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    一种分析和设计安全协议的新逻辑  CNKI文献

    安全协议是一种面向应用层的协议,它为通信的实体打上包装,穿上盔甲,防止攻击者对敏感数据进行窃取,保证通信内容的完整性。不同的应用需求对安全协议的设计也提出了新的要求,如组通信、匿名通信、安全多方计算、不可...

    缪祥华 导师:何大可 西南交通大学 2006-03-01 博士论文

    关键词: 逻辑 / 逻辑语义 / 信息安全 / 安全协议

    下载(321)| 被引(4)

    对一种新型代理签名方案的分析与改进  CNKI文献

    Gu-Zhang-Yang(2005)提出了一个不需要可信第三方参与的匿名代理签名方案,由于该方案的签名验证数据中没有回避孤悬因子这一现象,因此并不满足强不可伪造性,原始签名人可以伪造一个有效的代理签名通过验证,并成功地在...

    鲁荣波 何大可... 《电子与信息学报》 2007年10期 期刊

    关键词: 代理签名 / 匿名代理签名 / 孤悬因子 / 强不可伪造性

    下载(208)| 被引(8)

    基于椭圆曲线含有效期的离线电子现金系统  CNKI文献

    为防止电子现金重复花费和数据库记录无限制的膨胀问题,改进了现有的利用椭圆曲线密码系统构造的离线电子现金系统.改进的系统利用了椭圆曲线良好的密码特性,并采用零知识证明方法.在取款协议中采用基于椭圆曲线的部分...

    鲁荣波 苏杭丽... 《西南交通大学学报》 2006年03期 期刊

    关键词: 椭圆曲线 / 部分盲签名 / 零知识证明 / 有效期

    下载(116)| 被引(4)

    Needham-Schroeder私钥协议的改进  CNKI文献

    研究了Needham-Schroeder私钥协议,指出了该协议存在的缺陷和漏洞,并给出了一种攻击该协议方法。虽然Needham和Schroeder对原始的协议进行了修改,但修改后的协议仍然存在缺陷。还有其他一些学者也对该协议进行了修改,...

    缪祥华 何大可 《计算机工程》 2006年17期 期刊

    关键词: 协议分析 / BAN逻辑 / Needham-Schroeder私钥协议

    下载(132)| 被引(5)

    一种原子性和公平匿名性的电子支付协议  CNKI文献

    在分析电子交易的原子性和公平匿名性的基础上,提出了一种可同时实现原子性的公平匿名的电子支付协议,而且在整个支付过程中,可信第三方可以离线,只有发生争议时才参与仲裁解决。给出了协议的6个子协议,详细描述了各子...

    鲁荣波 何大可... 《计算机工程》 2006年17期 期刊

    关键词: 原子性 / 公平匿名性 / 电子支付

    下载(148)| 被引(4)

    Kailar逻辑的串空间语义  CNKI文献

    Kailar 在1996年发表了“电子商务协议中的可追究性”一文,使得电子商务协议的形式化分析得到了重大的发展。但是 Kailar 逻辑的语义一直没有人提出来过,而逻辑的语义对于逻辑的正确性是至关重要的。本文的主要工作就...

    缪祥华 何大可 《计算机科学》 2006年03期 期刊

    关键词: 逻辑 / 语义 / 串空间 / 电子商务协议

    下载(73)| 被引(4)

    一种具有有效授权期的盲代理签名方案  CNKI文献

    综合考虑了原始签名人和代理签名人的利益,通过将部分盲签名技术引入代理签名,对文献[3]提出的一种匿名代理签名方案进行了改进,构造出在合理安全假设可证安全的新匿名代理协议。其特点在授权证书中包含授权有效期,与...

    鲁荣波 何大可... 《计算机工程》 2006年12期 期刊

    关键词: 盲代理签名 / 部分盲签名 / 授权有效期

    下载(109)| 被引(1)

    认证协议设计逻辑的语义  CNKI文献

    Levente Buttyan等人提出了一种认证协议设计的简单逻辑,协议设计者可以使用该逻辑,用一种系统的方法来构造认证协议。该文把简单逻辑和串空间(Strand Space)模型结合起来,给出了简单逻辑的串空间语义,然后运用该语义...

    缪祥华 何大可 《计算机工程》 2006年09期 期刊

    关键词: 逻辑语义 / 认证协议设计 / 串空间

    下载(65)| 被引(1)

    分析和设计安全协议的新逻辑的语义  CNKI文献

    文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良...

    缪祥华 何大可 《云南民族大学学报(自然科学版)》 2006年02期 期刊

    关键词: 逻辑语义 / 安全协议 / 串空间

    下载(45)| 被引(0)

    基于多Agent的CA系统的设计与实现  CNKI文献

    认证中心是公钥基础设施的核心问题 ,文章设计并实现了一个基于多Agent的认证中心系统 .文章首先设计系统的体系结构 ,然后设计了多个Agent来完成认证中心的相应功能 .该系统将认证中心的任务分布到各相应的Agent上执...

    缪祥华 何大可 《昆明理工大学学报(理工版)》 2004年03期 期刊

    关键词: Agent / CA / 信息安全

    下载(47)| 被引(0)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      大成编客