广西壮族自治区自然科学基金(0542052)
- 作品数：21 被引量：32H指数：3
- 相关作者：董荣胜郭云川吴光伟古天龙李晓乐更多>>
- 相关机构：桂林电子科技大学广西医科大学第一附属医院广西壮族自治区人民医院更多>>
- 发文基金：广西壮族自治区自然科学基金国家自然科学基金广西卫生厅科研项目更多>>
- 相关领域：自动化与计算机技术医药卫生理学更多>>
- 基于串空间模型的Athena方法的改进
- 2007年
- Athena分析方法由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议。该文针对互联网密钥交换协议(IKEv2),对Athena方法进行了扩展:修改消息项结构,扩展密码学原语,使其能分析DH(Diffie-Hellman)密钥协商问题,修改内在项关系,使其能应对更复杂的消息构造情况,并对相关命题和定理进行了证明。根据扩展后的Athena方法,对IKEv2协议的秘密性和认证性等进行了分析,对协议的特点作了进一步讨论。
- 董荣胜吴光伟郭云川古天龙
- 关键词：串空间ATHENAIKEV2协议
- BSW逻辑在公钥认证协议设计中的应用及改进
- 2006年
- 针对BSW逻辑在公钥认证协议设计中的应用,讨论了它的不足并对其进行了改进。消除了原合成规则对公钥使用者身份的不合理限制,并通过添加特定标识符等手段,实现了验证消息发送者身份的推演目标;以两方双向认证协议的设计为例,指出了BSW逻辑忽略冗余性处理所带来的加密冗余问题,得到了消除加密冗余后的协议,采用A thena方法对该协议进行形式化分析表明,协议实现了双向认证的目标。
- 李晓乐董荣胜郭云川
- 针对猜测攻击的Athena方法的扩展
- 2007年
- 猜测攻击是安全协议中一类特殊问题,对其进行研究具有现实意义。本文针对猜测攻击,引入了基于串空间模型的Athena分析方法,并考虑了攻击者对弱口令的猜测能力。为此,在串空间模型的消息项中引入了可验证项的概念,以描述猜测攻击条件中的验证项,同时扩展了串空间中攻击者的能力,赋予了攻击者对弱口令的猜测能力;为在Athena后继函数搜索算法中实现对验证项的关联,以判断猜测攻击,在Athena方法的状态表示法中引入猜测验证目标及猜测验证目标绑定的概念,对状态、推理规则进行相应的修改,同时扩展后继状态函数,使扩展后的函数具备分析猜测攻击的能力;最后运用扩展后的Athena方法对会话密钥建立协议(key-establishment protocol)进行分析。分析发现,当pk为对称密钥时,协议存在猜测攻击,并给出了攻击路径。
- 李超董荣胜
- 关键词：ATHENA串空间认证性
- 癌-睾丸抗原MAGE-A1、A3、A4在视网膜母细胞瘤中的表达被引量：3
- 2010年
- 目的了解视网膜母细胞瘤(RB)组织癌—睾丸抗原(CTA)基因MAGE-A1、A3、A4的表达,探讨这些基因成为RB特异性免疫治疗靶抗原的可能性。方法人RB组织15例,对照组为12例非肿瘤病变视网膜组织及22例正常眼部组织。采用逆转录-聚合酶链反应(RT-PCR)技术检测上述组织MAGE-A1、A3、A4的mRNA表达情况,并根据肿瘤病理分级、肿瘤大小、临床分期等临床指标进行统计学分析。结果 15例RB组织中,MAGE-A1、A3、A4的表达率分别为33.33%(5/15)、46.67%(7/15)和33.33%(5/15),有73.33%(11/15)的RB组织至少表达一种MAGE基因,33.33%(5/15)的RB组织至少表达两种MAGE基因。12例非肿瘤病变视网膜组织及22例正常眼部组织三种MAGE基因均不表达。结论 MAGE-A1、A3、A4基因在RB组织中有一定频率的表达,MAGE-A1、A3、A4的表达率与病人的性别、年龄和临床分期,肿瘤大小及病理分级均无相关性(P>0.05)。MAGE-A1、A3、A4有希望成为RB特异性免疫治疗的靶抗原。
- 林泉梁皓严宇清何剑峰
- 关键词：视网膜母细胞瘤癌-睾丸抗原肿瘤免疫治疗
- 基于串空间的Athena分析技术研究被引量：7
- 2006年
- 基于串空间模型的研究是当前安全协议领域的一个研究热点。Song对串空间模型进行了扩展,将模型检验和定理证明结合起来,提出了一种取名为Athena的安全协议分析方法,并基于该方法开发了自动证明工具APV,Song的工作被认为是串空间理论发展的一个重要事件。本文对Athena进行了系统的分析,介绍了Athena的假设条件,给出了Athena的语法和语义,分析了该逻辑的优点和局限性,在此基础上,分析了Athena的核心算法,讨论了A-thena算法自动高效的原因,以及该算法如何避免状态空间爆炸的技术,指出了该算法的缺陷,形成原因以及解决的一般方法。最后对Athena方法的发展方向进行了讨论。
- 吴光伟董荣胜
- 关键词：串空间ATHENA安全协议定理证明
- D-S证据理论在多传感器目标识别中的改进被引量：13
- 2009年
- 针对证据理论在处理冲突证据时可能得到与直觉相悖的结论,文中首先分析了基本D-S证据理论组合准则缺陷的产生原因,提出一种新的基于权值的证据调整方法,给予证据分配不同的权值,重新分配概率分配函数。算例分析结果表明,改进后的方法可以提高识别结果的可靠性,在一定程度上改善了目标识别系统的性能。
- 董彦佼韩元杰刘洁莉
- 关键词：信息融合证据理论目标识别
- 基于结构化操作语义的安全协议分析框架研究
- 2007年
- 操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题。本文在对安全协议操作语义模型进行研究的基础上,构建了一个基于结构化操作语义的安全协议分析框架,给出了该框架中的协议规格,协议运行,威胁模型和安全性质等形式化定义。最后,以经典的Needham Schroeder Lowe协议为例,用该分析框架分析了其机密性和认证性。
- 高三海董荣胜钱俊彦
- 关键词：安全协议形式化方法操作语义
- 针对协议组合问题的Athena方法扩展
- 2007年
- 针对安全协议形式化分析领域的五个公开问题之一的协议的组合性问题,选用并扩展了Athena分析方法,以求对组合协议进行自动分析。通过扩展了串、丛的概念以及逻辑和状态表示法,以描述多个协议的运行。考虑到从协议对主协议的影响,引入了串空间中理想的概念,给出了其自动生成算法,并扩展了后继状态函数。最后运用扩展后的Athena方法对Neuman Stubblebine协议进行了分析,发现协议部分对协议部分存在有攻击,相应给出了攻击路径。
- 李超董荣胜郭云川
- 关键词：串空间
- 概率非否认协议的模型检测分析
- 2007年
- 基于概率模型检测技术,建立了需要保证ε-公平性的非否认协议的概率模型,根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM,验证了概率非否认协议的有效性、公平性和时限性。在恶意实体能力和网络环境等不同情况下,分析了破坏协议公平性的概率。
- 董荣胜陈大伟郭云川古天龙
- 关键词：概率模型检测PRISM有限状态机
- Ad Hoc网络中城市街道移动模型的概率模型检测
- 应用概率模型检测技术,在Manhattan移动模型和街道单元移动模型的基础上,提出城市街道移动模型,将其建模成离散时间马尔可夫链DTMCs,然后运用概率模型检测工具PRISM分析节点位置及移动情况对Ad Hoc网络通信的...
- 文英董荣胜
- 关键词：PRISM概率模型检测
- 文献传递
