锁琰
- 作品数：7 被引量：8H指数：2
- 供职机构：解放军理工大学指挥自动化学院更多>>
- 发文基金：国家自然科学基金国家重点实验室开放基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 支持组件动态更新的远程证明被引量：2
- 2011年
- 将密钥隔离安全机制应用到基于组件属性的远程证明中,并分析方案的正确性和安全性.分析结果表明:未及时更新或者被恶意代码攻击的组件将丧失安全属性,不再具有远程证明能力.实现了无证书的组件证明,省略了验证证书的过程,减少了验证方的负担,并结合现有的可信计算完整性管理模式,给出了实现过程.
- 锁琰徐小岩张毓森张涛桂荆京杨莉乐康
- 关键词：可信计算远程证明密钥隔离双线性映射
- 基于密钥隔离的直接匿名证明方案被引量：1
- 2011年
- 为了降低可信平台的密钥泄漏对直接匿名证明方案造成的破坏,提出一种基于密钥隔离的直接匿名证明方案KIDAA.首先将系统时间划分成若干时间段,然后对可信平台的私钥采取进化的处理办法,在不同的时间片段内使用不同的私钥,使得个别时间段内的私钥泄漏不会危害其他时间片段内的安全性.把可信平台的私钥分成2个部分,交给可信平台模块TPM和可信平台保存,在每个时间片段内,可信平台只有在TPM的帮助下,才能够获得完整的私钥信息.在签名过程中使用了双线性映射,缩短了签名长度,降低了TPM的计算量.最后,在DLIN假设和q-SDH假设的基础上,对KIDAA的安全性进行了分析和证明.分析表明,该方案满足密钥隔离性、不可伪造性和可变匿名性.
- 锁琰乐康徐小岩张毓森
- 关键词：直接匿名证明群签名密钥隔离双线性映射
- 基于DAA的移动Ad Hoc网络匿名认证方案
- 2011年
- 随着移动Adhoc网络（MANET）技术的发展，安全问题受到越来越多的关注。认证服务是MANET安全的基础。近年来，研究人员提出了各种MANET的认证方案．但对于开放环境下MANET的匿名性要求考虑较少。本文基于可信计算技术中的直接匿名证明协议（DAA），提出了一种适合于MANET环境的匿名认证方案，在解决MANET无中心认证问题的同时，实现了节点身份的匿名性，增加了签名的可追踪性，并对节点的访问权限进行了划分，能够满足更多应用场合的要求。
- 乐康张涛锁琰毛卫星
- 关键词：HOC权限划分匿名
- 基于可信计算的移动Ad Hoc网络认证方案
- 移动Ad hoc网络(MANET)由于移动性、自组织和无固定设施等特性，使其面临着比传统网络更多的安全威胁，现有的认证方案因MANET的特性而受到局限。本文提出一种基于可信计算技术的MANET认证方案，较好地满足了MAN...
- 乐康张涛锁琰
- 关键词：可信计算ADHOC网络
- 一种基于域推荐相似度的P2P信任模型被引量：2
- 2012年
- 为了提高P2P系统中资源定位效率并保证资源下载质量,提出了一种基于域推荐相似度的P2P信任模型(DRSTrust).该模型充分考虑了节点兴趣和身份对信任计算的影响,通过划分兴趣域,以解决节点间因兴趣不对称而难以建立直接信任关系的问题.在兴趣域的基础上,根据域推荐相似度加权个体的域推荐度来计算节点的域服务信誉,并利用域服务信誉来刻画节点在特定兴趣域内的服务行为细节.然后,提出了服务相似度的概念,通过使服务行为最为相似的节点成为邻居来激励好节点贡献资源,同时将恶意节点排斥在网络边缘,从而有效提高了P2P系统中节点信任计算准确度.分析及仿真结果表明,在迭代的收敛速度、下载成功率以及模型的安全性等方面,DRSTrust均优于现有的信任模型.
- 邢长友杨莉张毓森锁琰
- 关键词：信任模型兴趣域
- 一种安全的分布式群签名方案被引量：3
- 2011年
- 在标准模型下提出了一种分布式群签名方案,并分析了方案的正确性和安全性.分析结果表明,合法的群成员可以代表群生成有效的群签名,仲裁者可以打开签名,且可以判断群管理者是否伪装成合法的群成员.同时,该方案利用分布式协助器辅助每个时间段群成员密钥的升级,不但实现了该签名的前向安全和后向安全性,而且避免了协助器单点失效所带来的群成员无法升级的后果,从而在抵抗群成员私钥泄露的基础上,增强了群签名方案的健壮性和可用性.
- 锁琰李晓辉徐小岩张毓森
- 关键词：群签名密钥隔离双线性映射
- MANET虚假路由形式化验证
- 2012年
- 提出了Ad-hoc网络虚假路由攻击的形式化验证和分析方法,主要是在参数化Ad-hoc路由协议串空间模型的基础上采用改进的Athena状态表示法来描述问题域,并采用相应的证明搜索过程来完成目标验证。最后设计实现了虚假路由自动验证系统FRpoofor,用它验证和分析了Ariadne安全路由协议运行环境下某些虚假路由的建立过程,以此说明方法的有效性。
- 张毓森桂荆京王金双锁琰杨莉金鑫
- 关键词：形式化分析串空间
