当前位置：文档之家 › 一种改进的属性远程证明方案

一种改进的属性远程证明方案

  • 格式：pdf
  • 大小：384.20 KB
  • 文档页数：5
ｍｏ ｅ ｆＨＣ Ｒ ， ｏ ｍａｉｅ ｅ ｃ ｉ ｔ ｎ ａ ｄ ｐ ｏ ｏ ｏ ｆ ｈ ｓｍｏ ｅ ｒ ｉｅ ．Ｉ ｒ ｅ ｅ ｃ ｐ ｅｍｅ ｓ ｇ ｒ ｎ ｆｒ ｔ ｎ ｐ ｏ ｅ ｓ ｄ ｌｏ Ｐ－ Ａ ｆ ｒ ｌ ｄ ｄ ｓ ｒ ｉ ｎ ｒ ｔ ｃ ｌｏ ｉ ｄ ｌａｅ ｇｖ ｎ ｎ ｏ ｄ ｒ ｏ ｄ ｓ ｒ ｔ ｈ ｓａ ｅｔａ ｓｏｍａｉ ｒ ｃ ｓ ， ｚ ｐｏ ｔ ｔ ｉ ｔ ｏ
第１ Ｏ卷
第 １ 期
实验科学与技术
Ｅ ｐ ｒｍｅ ｔＳ ｉ ｎ ｅ ａ ｄ Ｔ ｃ ｎ ｌ ｇ ｘｅ ｉ ｎ ｃ ｅ ｃ ｎ ｅ ｈ ｏｏ ｙ
Ｖｏ． ０ Ｎｏ １ １１ ． Ｆｂ ２ １ ｅ
种 改 进 的属 性 远 程证 明 方 案
种 惠芳 陆思羽 ，
洛 阳 ４ １０ ； ． ７ ０ ３ ２ 北京科技大学 计算机与通信工程学院通信 ０ ２ ，北京 ８班 １ ０３ ０ ８） ０
（． １ 解放军外 国语学 院 计算机教研室 ，河南
摘要 ：为 了克服现 有基 于属性证 书的远程证 明方案在 隐私保 护和安全性方 面的不足 ，文 中提 出了一 种基 于隐藏证 书技 术的 属性 远程证 明方案（ Ｃ — Ａ） Ｈ ＰＲ ，该 方案在传 统基于属性的远程证 明的基础 上 引入 了隐藏 证 书技 术 ，实现 了对机密性证 书和 策略 的保 护 ，同时 实现 了验证方和被验证 方之 间的双向可信性验证 功能。文 中首先给 出 了 Ｈ ＰＲ Ｃ —Ａ模型 ，随后针 对该模型 给 出 了形 式化描 述和相应的远程证 明协议 ，并通过 应用 实例 来说 明该协议 的具体工作过 程。与传统 的基 于属性证 书的远程
Ｋｅ ｗｏｒ ｓ： ｒ ｍｏ ｅ ａｔｓａ ｉｎ；ｔ ｓｅ ｏ ｙ ｄ ｅ ｔ ｔｅ ｔｔｏ ｕ ｒ ｔ ｄ ｃ ｍｐｕｉ ｇ；ｈ ｄ ｎ ｃ ｅ ｅ ｔａ ｓ ａｔｓａｉ ｎ ｐｏｉｙ ｔｎ ｉ ｄｅ ｒ ｄ ｎ ｉ ； ｔｅ ｔｔｏ ｌｃ ｌ
ａ ｘ ｍｐ ｅ ｏ ｉ ｒ ｔ ｃ ｌｉ ｇｖ ｎ ｎ ｅ ａ ｌ ｆ ｈ ｓｐ ｏ ｏ ｏ ｓ ｉｅ ．Ｃ ｍｐ ｒ ｔ ｅ Ｐ ｏ ｅ ｔ ａ ｅ ｅ ｔ ｔ ｓａｉ ｎ ｉ ｏ ｄ ｙ ，ＨＣ — ａ ｄ ａ ｔｇ ｓｉ ｒ ｔ ｏ ａ ｅｗｉ ｔ ｒ ｐ ｒ Ｂ ｓ ｄ Ｒ ｍｏｅ Ａ ｔ ｔｔ ｎ ｗａ ａ ｓ ｈｈ ｙ ｅ ｏ ｎ Ｐ ＲＡ ｈ ｓａ ｖ ｎａ ｅ ｎ ｐ ｉ — ｖ ｃ ｎ ｏｉｙ ｐ ｏｅ ｔ ｎ Ｂ ｄｒ ｃ ｉｎ ｌｃ ｅ ｉ ｂｌ ｙ ｖ ｒ ｉａｉ ｎ ｉ ｒ ｖ ｓｔ ｅ ｅ ｖ ｒ ｎ ｎ’ ｓ ｃ ｒｔ． ａ ｙ ａ ｄ ｐ ｌ ｒ ｔｃｉ ． ｉ ｉ ｔ ａ ｒｄ ｔ ｉ ｔ ｅ ｆ ｔ ｍｐ ｏ ｅ ｈ ｎ ｉ ｍｅ ｔ ｅ ｕ ｖ ｃ ｏ ｅ ｏ ａ ｉ ｉ ｃ ｏ ｏ Ｓ ｉ
Ａｎ Ｉ ｐ ｏ ｅ ｏ ｅ ｔ － ａ ｅ ｍ ｏ ｅ Ａｔｅ ｔ ｔｏ ｍ ｒ ｖ ｄ Ｐｒ ｐ ｒ ｙ ｂ ｓ ｄ Ｒｅ ｔ ｔ ｓａ ｉ ｎ
ＣＨＯＮＧ ｉｆ ｎ ．Ｌ Ｓ ． ｕ。 Ｈｕ ．ａ ｇ Ｕ ｉｙ
（ ．Ｐ Ａ Ｕ ｉｅｓｙｏ ｏｅ ｎＬ ｎｕ ｇｓ Ｌ ｏａｇ４ １０ ，Ｃ ｉａ １ Ｌ ｎｖｒｉ ｆＦｒｉ ａｇａｅ ， ｕ ｙｎ ７ ０ ３ ｈｎ ； ｔ ｇ ２ ｃｏｌ ｆ ｏ ｐ ｔｒ ｎ ｏ ｕ ｉａｏ ｎ ｉｅｒ ｇ Ｕｎｖｒｉ ｆＳｉ ｃ ｎ ｅｈ ｏ ｇ ，Ｂｉｎ ０ ０ ３ ｈｎ ） ．Ｓ ｈｏ ｏ ｍ ｕｅ ｄＣ ｍｍ ｎｃｔ ｎＥ ｇｎｅｉ ， ｉｅ ｔ ｏ ｃ ｎ ｅａｄＴ ｃｎｌ ｙ ｅ ｉｇ１０ ８ ，Ｃ ｉａ Ｃ ａ ｉ ｎ ｓ ｙ ｅ ｏ ｊ
ｍ ｔｏ ｉｅ ． ｈ ｅｈｄｉ ｂ ｓｄｏ ｉｄｎＣ ｅｅｔ ｃ ｎｌ ａ ｄａ Ｃ — Ａ （ ｉｄｎＣｅ ｅｔｌ ｓｐｏ ｅ ｒｐ￣ ｅ ｄｉ ｇｖｎ Ｔ ｉ ｍ ｔｏ ａｅ ｎＨ ｄｅ ｒｄ ｎｉ ｔ ｈ ｏ ｇ ｎｍｅ ｓＨ ＰＲ ｈ ｓ ｓ ｓ ｌ ａ ｅ ｏ ｙ Ｈｄ ｅ ｒｄｎｉ ｓ ｕ ｐｓ ｄＰｏｅ ｙ ａ ｂｓｄＲ ｍ ｔ Ａ ｔ ｔｔ ｎ ．Ｔ ｅｅ ｄｏｎｓ ｆ ｏ ｍｕｉａ ｏ ｉ ｍ ｄｌｖｒｙｔ ｕｔ ｈ ｒ ｔｒ ｆ ａｈｏ ｅ．Ａｔ ｉ ｎｔ ａｅ ｅ ｏ ｔ ｓ ｉ ） ｈ ｎ ｐｉｔ ｏ ｍ ｎｃｔｎ ｉ ｔ ｓ ｏ ｅ ｅ ｆ ｈ ｔ ｓ ｄ ｃａ ｃｅ ｏ ｃ ｔ ｒ ｆ ｒｇ ｅ ｅ ｅ ｅ ａｏ ｃ ｉ ｎｈ ｉ ｅｒ ｅ ａ ｅ ｈ ｅ ｖ ｈ
Ａｂ ｔａ ｔ Ｆ ｒｔｅ ｄ ｆｃ ｓｏ ｒ ａ ｙ ｐ ｏｅ ｔ ｎ ａ ｄ ｓ ｃ ｒ ｙ ｉ ｈ ｒ ｐ ￣ ａ ｅ ｍｏ ｅ Ａ ｔｓａ ｉｎ，ａ ｍｐ ｏ ｅ ｅ ｔ ｔ ｓ ｔ ｎ ｓｒ ｃ ： ｏ ｈ ｅｅ ｔ ｆｐ ｖ ｃ ｒｔ ｃｉ ｎ ｅ ｕ ｔ ｎ ｔ ｅ Ｐ ｅ ｙ Ｂ ｓ ｄ Ｒｅ ｔ ｔ ｔｔ ｉ ｏ ｉ ｏ ｅ ｏ ｎ ｉ ｒ ｖ ｄ ｒ ｍｏｅ ａｔ ｔ ｉ ｅａｏ
证 明技 术相 比较 ，该方案在 隐私保护 方面具有很 大优 势 ；双向可信性验证提 高了传统单 向属性远程证 明的安全性 。 关 键 词 ：远程证 明 ；可信计算 ；隐藏证 书；证 明策略
中 图分 类 号 ：Ｔ ３ ３０ ；Ｔ ３ ９ Ｐ ９ ． ８ Ｐ０ 文 献 标 志 码 ：Ａ ｄ ｉ １．９ ９ ｊｉ ｎ １７ ４５ ．０ ２０ ． １ ｏ： ０ ３ ６／．ｓ ．６２— ５ ０ ２ １ ． １０ ６ ｓ

合集下载

一种改进的智能卡远程身份认证方案

一种改进的智能卡远程身份认证方案

ｌ 》
醚
Ｓ 《
ｌ
器 ｓ 交其 身份 标示 Ｉ 和 对 应 的密码 Ｐ 提 Ｄ Ｗ 。当 Ｓ 收到
用 户请 求后 ，将执 行 以下 步骤 ：
第 一步 ：， 择一 个密 码／ 选 Ｐ 为攻 击密 码 。 Ｗ作 第 二步 ： 根据 智能 卡 中的信 息｛ … ， ） ．） Ｉ ， Ｂ ． ｇ‘ Ｄ （Ｐ ，
１２ Ｌｅ Ｃ ｉ的方案 的安全漏洞 ． ｅ－ ｈ ｕ
１２ １伪造 智能 卡数据 攻击 ．．
如 果发 生 智能 卡丢 失 的情 况 ，攻 击者 ， 将 有机 会窃取 到 合法 用户 智 能卡 中的信 息 ，那么， 通过 将 以下步 骤伪 造可 通过验 证 的智能 卡 ：
服务 器 管 的系统 私钥 ＾） 单 向哈希 函数 。 保 （ 为
第 二 步 ：计 算 ＝ ｇ “ 。 ｏｐ，其 中 Ｐ 一 个 。ｄ ｎ 为
大 素数 ，ｇ 是 Ｏ （ 的一 个生 成元 。 Ｆ） ｐ 第 三 步 ：Ｓ ｛ （ Ｐｇ 写 入 智 能 卡 ，并 将 Ｉ ４Ｂ ） ． Ｄ ， ． 将 智能 卡发放 给 。
≤ Ｉ蘑■ ● ｊ ！ 黑 ’ 霸 Ｉ Ｉ 曩圈
数 ， ｇ Ｇ（ 的一个 生成 元 。 是 Ｆ） ｐ 第 三 步 ：Ｓ ｛ ． … ， ） ，｝ 入 智 能卡 ，并 将 将 Ｉ． Ｂ ． ｇ写 Ｄ ． （Ｐ ＝ ｄ 智能 卡发放 给 。
这 样 ， 可 以通 过 伪 造 的 智能 卡 和 攻击 密码 １ 就 Ｐ Ｗ
冒充 进行 登录认证 ，且 通过认 证 。
则表 示 超时 ，服 务器将 拒 绝登 录请 求 。其 中△ 是 系
统 允许 的最大 时 间间隔 。 第三 步 ：计 算 －（ ） ｑｈＤ ， ｉＩ ＝ ０ Ｚ／ ｍ ｄ ） （ ｏｐ 。 ｊ｛ ］
一种远程用户身份认证方案的密码分析和改进

一种远程用户身份认证方案的密码分析和改进


ｔ ｅｒ ｓ ｈ ｍｅ ｈ ｃ ｅ ｓ ａｓ ｕ ｎ ｒｂ ｅ ａ ｄ ｉ ｓ ｃ ｒ ．Ｔ ｅ ｌ ｐ ｏ ｏ ｅ ａ ｍｐ ｏ ｅ ｎ ｈ ｃ ａ ｖ ｉ ｕ ｈ ｆ ｗ ． ｈ ｉ ｃ ｅ ．Ｔ ｅ ｓ ｈ ｍｅ ｉ ｌｏ ｖ ｌ ｅ ａ ｌ ｎ ｎ ｅ ｕ ｅ ｈ ｎ ｗｅ ｗｉ ｒ ｐ ｓ ｎ ｉ ｒ ｖ ｄ ｏ ｅ ｗ ｉｈ ｃ ｎ ａ ｏｄ ｓ ｃ ａ ｓ １ ｌ
一
种 远 程用 户 身份 认证 方 案 的密码 分 析和 改进
李 光 ， 杨 斌 ， 方 群 （ 军 蚌 埠 士 官 学 校 ， 徽 蚌 埠 ２ ３ １） 海 安 ３ ０ ２
摘 要 ： 通 过 密 码 分 析 学 的 验 证 方 案 证 明 Ｙ ｏ ｏｎ等 人 提 出 的 基 于 Ｈ ａ ｇ等 其 他 人 所 证 明 的 远 程 ｗｎ 用 户 使 用 智 能 卡 的 方 案 中存 在 着 多 个 安 全 漏 洞 ， 仍 然 是 脆 弱 和 不 稳 定 的 。 同 时 给 出 如 何 改 进 并 避 免
外 ， 何 合 法 用 户 都 可 以不 通 过 远 程 系 统 的 帮 助 来 自 由 任 选 择 或 更 改 他 们 的 口令 密 码 。 方 案 与 其 他 方 案 相 比可 该
以 提 供 更 有 效 的 远 程 用 户 身 份 认 证 但 却 不 需 要 大 量 的 运 算 。２ ０ ０ ５年 ， ｏｎ等 人 提 出这 种 认 证 方 案 所 产 生 的 密 Ｙｏ 码 散 列 值 是 不 安 全 的 ｌ， 别 是 在 服 务 器 密 钥 丢 失 、 ７ 特 １ 被
（ ａａ Ｐ ｔ ｆｃｒ Ａ ａ ｅ ｙ， ｅｇ ｕ ３ ０ ２ Ｃ ｉａ Ｎ ｖｌ ｅｔ Ｏｆ ｅ ｃｄ ｍ Ｂ ｎｂ ２ ３ １ ， ｈｎ） ｙ ｉ
远程证明安全协议的设计与验证

远程证明安全协议的设计与验证

远程证明安全协议的设计与验证
王丹;魏进锋;周晓东
【期刊名称】《通信学报》
【年(卷),期】2009(0)S2
【摘要】通过对现有远程证明协议交互协议的分析,提出了一种改进的远程证明协议。

为了验证该协议是否符合安全需求,采用安全协议形式化分析方法中的基于攻击类的CSP方法对协议进行了CSP建模,同时通过对模型进行的FDR检测,发现了协议中存在的漏洞,给出了漏洞的修改方案。

经过再次验证得到了符合安全需求的安全协议。

该协议可用于可信计算的远程证明,能够保证远程证明的正确完成和交互过程中消息的保密性、完整性、认证性及新鲜性。

【总页数】8页(P29-36)
【关键词】可信计算;远程证明;安全协议;CSP
【作者】王丹;魏进锋;周晓东
【作者单位】北京工业大学计算机学院
【正文语种】中文
【中图分类】TP393.08
【相关文献】
1.支持验证代理方的远程证明模型及其安全协议 [J], 张志勇;裴庆祺;杨林;马建峰
2.面向远程证明的安全协议设计方法 [J], 余荣威;王丽娜;匡波
3.基于进程代数的TCG远程证明协议的形式化验证 [J], 王勇;方娟;任兴田;林莉
4.基于双线性对签密的安全高效远程证明协议 [J], 何龙;彭新光
5.一种远程证明协议转换模型及通用安全协议研究 [J], 施光源;公备;冯聿梦
因版权原因，仅展示原文概要，查看原文内容请购买。

改进的基于模块属性的远程证明协议

改进的基于模块属性的远程证明协议

改进的基于模块属性的远程证明协议王伟;彭新光【期刊名称】《计算机应用与软件》【年(卷),期】2013(000)012【摘要】为了提高远程证明方案的效率以及安全性，提出一种基于模块属性的远程证明协议。

相较于传统的远程证明协议，该协议选择基于模块属性，在保证安全性的同时缩小了证明的交互范围，减少了证明时间；同时使用基于自认证公钥的盲签密方案形成模块属性密文。

该签密方法基于双线性对，在验证公钥时不需额外证书，具有计算量小、效率高的优点。

实验证明，相比于先使用Nybery-Rueppel 签名后通过RSA加密的属性证书形成方案，该方案可有效减少远程证明方案的运行时间，从而提高远程证明的效率。

%In order to improve the efficiency and security of remote attestation program , we present a module property-based remote attestation protocol .Compared with traditional remote attestation protocol , this protocol selects to be based on module property , narrows the interactive range of proof while ensuring the security .Meanwhile , it uses the blind signcryption scheme which is based on self-certified public key to form module property ciphertext .This signcryption method is based on the bilinear and does not need additional verification public key certificate when verify the public key .It has the advantages of small computation complexity and high efficiency .Proved by the experiment , this scheme can effectively reduce the running time of remote attestation program so as to improve the efficiency of remoteattestation compared with the property certificate generation scheme which uses the Nybery-Rueppel signature first and then encrypting by RSA .【总页数】4页(P151-154)【作者】王伟;彭新光【作者单位】太原理工大学计算机科学与技术学院山西太原 030024;太原理工大学计算机科学与技术学院山西太原 030024【正文语种】中文【中图分类】TP309【相关文献】1.基于可信密码模块的远程证明协议 [J], 赵佳;韩臻;刘吉强;章睿2.基于模块属性的远程证明协议 [J], 彭新光;王晓阳3.基于代理多签名的模块属性远程证明协议 [J], 孙琳琳;彭新光4.计算机无线网络中基于签密算法的模块属性远程证明协议研究 [J], 余丽华5.计算机无线网络中基于签密算法的模块属性远程证明协议研究 [J], 余丽华因版权原因，仅展示原文概要，查看原文内容请购买。