您的位置： 专家智库 > >

陆超

作品数：4 被引量：12H指数：2
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家242信息安全计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...

主题

  • 2篇信息流安全
  • 2篇进程代数
  • 2篇串空间
  • 1篇动态环境
  • 1篇形式化
  • 1篇形式化验证
  • 1篇无干扰

机构

  • 4篇中国科学技术...

作者

  • 4篇赵保华
  • 4篇陆超
  • 3篇陈波
  • 2篇周颢

传媒

  • 2篇中国科学技术...
  • 1篇计算机学报
  • 1篇西安交通大学...

年份

  • 1篇2010
  • 1篇2007
  • 2篇2006
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
概率信息流安全属性分析被引量：8
2006年
以进程代数作为分析信息流安全属性的工具,将安全进程代数(SPA)扩展到概率系统,形成概率安全进程代数.使用概率安全进程代数对概率系统建模,在弱概率互拟等价的基础上,讨论了概率信息流安全属性,提出了P_PBNDC,S_PBNDC,CP_PBNDC等基于复合的不可演绎的属性,分析了这些安全属性之间的关系,并给出了一个实际的概率系统的例子.
赵保华陈波陆超
关键词：信息流安全进程代数无干扰
动态环境中的概率信息流安全被引量：3
2006年
在概率安全进程代数的基础上,研究了概率系统在动态环境中的信息流安全,以解决可动态配置的恶意进程对系统带来的危害.同时,提出了动态环境中的概率互拟复合不可演绎性质,即持久P-PBNDC.使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P-PBNDC是概率系统在动态环境中合适的信息流安全性质,该性质能够揭露出概率互拟复合不可演绎性质(PBNDC)所不能暴露的潜在的安全隐患.最后,证明了P-PBNDC和SBSPNI性质的一致性,在限制算子和前缀算子下的P-PBNDC具有复合性质,而在并行算子下不具有复合性质.
赵保华陈波陆超
关键词：信息流安全进程代数动态环境
对Yahalom-Paulson协议的分析与改进被引量：1
2010年
对原始Yahalom-Paulson协议和Backes与Pfitzmann的简化Yahalom-Paulson协议进行分析,指出各自协议中存在的漏洞.原始协议中存在类型缺陷攻击,简化协议中存在重放攻击导致协议参与实体间会话密钥不一致.对Yahalom-Paulson协议作出改进并使用串空间理论证明改进后协议的正确性.
陆超周颢赵保华
关键词：串空间
基于串空间的Kao Chow加密协议形式化验证被引量：2
2007年
Kao Chow加密协议是由Kao和Chow提出的,他们利用BAN逻辑证明了该协议的认证性,但没有证明该协议的保密性,而且没有说明协议参与实体间得到的新会话密钥是否一致.事实上,由于BAN逻辑自身的缺陷,它无法用于证明加密协议的保密性.基于此,给出了Kao Chow加密协议的串空间模型,这个模型不仅验证了该协议的认证性,还验证了它的保密性及新会话密钥的一致性.
陆超周颢陈波赵保华
关键词：串空间
全选 清除 导出
共1页<1>
聚类工具0