AtheNA Multi-Lyte系统在抗核抗体检测中的应用

目的:探讨AtheNA定量检测系统在抗核抗体检测中的性能,同时评价其对抗dsDNA抗体检测的敏感性和特异性。方法:收集系统性红斑狼疮(SLE)标本16例,其他自身免疫病标本57例及健康对照标本20例,分别以线性免疫印迹法(LIA法)和AtheNA系统进行抗dsDNA,抗SSA,抗SSB,抗Sm,抗核糖核蛋白(RNP),抗Scl-70,抗Jo-1,抗着丝点B和抗组蛋白9种自身抗体检测;同时以LIA法、间接免疫荧光(IIF)法、ELISA法和AtheNA系统4种方法检测抗dsDNA抗体,评价不同检测方法的性能。结果:LIA法和AtheNA系统对抗核抗体的检测结果显示,健康对照者与SLE患者、不同自身免疫病患者的总体阳性率相比,差异均无统计学意义(P均>0.05)。AtheNA系统与LIA法对9种自身抗体的检测结果具有良好的一致性(P<0.01)。LIA法、IIF法、ELISA法和AtheNA系统4种检测方法对抗dsDNA抗体检测结果显示,AtheNA系统检测抗dsDNA抗体具有较好的敏感性和特异性(68.8%,83.1%),但4种方法对SLE患者和其他自身免疫病患者的检测阳性率差异均无统计学意义(P>0.05)。结论:AtheNA系统对抗核抗体的检测具有良好的性能,其对抗dsDNA抗体的检测具有较好的敏感性和特异性。

基于串空间模型的Athena方法的改进

Athena分析方法由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议。该文针对互联网密钥交换协议(IKEv2),对Athena方法进行了扩展:修改消息项结构,扩展密码学原语,使其能分析DH(Diffie-Hellman)密钥协商问题,修改内在项关系,使其能应对更复杂的消息构造情况,并对相关命题和定理进行了证明。根据扩展后的Athena方法,对IKEv2协议的秘密性和认证性等进行了分析,对协议的特点作了进一步讨论。

改进Athena算法的多协议攻击自动化验证方法

多协议环境下协议安全性问题是安全协议形式化分析验证领域的一个公开问题。针对此问题,在分析Athena算法的基础上提出了一种多协议攻击自动化验证方法。该方法扩展了Athena状态表示方法和后继状态生成算法,使得攻击者具备截取其它协议交互消息和计算生成当前协议消息的能力,能够以自动化的方式验证协议是否存在多协议攻击。实验结果表明,提出的方法能够实现多协议攻击的自动化验证。

针对猜测攻击的Athena方法的扩展

猜测攻击是安全协议中一类特殊问题,对其进行研究具有现实意义。本文针对猜测攻击,引入了基于串空间模型的Athena分析方法,并考虑了攻击者对弱口令的猜测能力。为此,在串空间模型的消息项中引入了可验证项的概念,以描述猜测攻击条件中的验证项,同时扩展了串空间中攻击者的能力,赋予了攻击者对弱口令的猜测能力;为在Athena后继函数搜索算法中实现对验证项的关联,以判断猜测攻击,在Athena方法的状态表示法中引入猜测验证目标及猜测验证目标绑定的概念,对状态、推理规则进行相应的修改,同时扩展后继状态函数,使扩展后的函数具备分析猜测攻击的能力;最后运用扩展后的Athena方法对会话密钥建立协议(key-establishment protocol)进行分析。分析发现,当pk为对称密钥时,协议存在猜测攻击,并给出了攻击路径。

针对协议组合问题的Athena方法扩展

针对安全协议形式化分析领域的五个公开问题之一的协议的组合性问题,选用并扩展了Athena分析方法,以求对组合协议进行自动分析。通过扩展了串、丛的概念以及逻辑和状态表示法,以描述多个协议的运行。考虑到从协议对主协议的影响,引入了串空间中理想的概念,给出了其自动生成算法,并扩展了后继状态函数。最后运用扩展后的Athena方法对Neuman Stubblebine协议进行了分析,发现协议部分对协议部分存在有攻击,相应给出了攻击路径。

基于串空间的Athena分析技术研究

基于串空间模型的研究是当前安全协议领域的一个研究热点。Song对串空间模型进行了扩展,将模型检验和定理证明结合起来,提出了一种取名为Athena的安全协议分析方法,并基于该方法开发了自动证明工具APV,Song的工作被认为是串空间理论发展的一个重要事件。本文对Athena进行了系统的分析,介绍了Athena的假设条件,给出了Athena的语法和语义,分析了该逻辑的优点和局限性,在此基础上,分析了Athena的核心算法,讨论了A-thena算法自动高效的原因,以及该算法如何避免状态空间爆炸的技术,指出了该算法的缺陷,形成原因以及解决的一般方法。最后对Athena方法的发展方向进行了讨论。

The Athena Data Dictionary and Description Language

We have developed a data object description tool suite and service for Athena consisting of :a language grammar based upon an extended proper subset of IDL 2.0,a compiler front end based upon this language grammar,JavaCC,and a Java Reflection API-like interface,and several compiler back ends which meet specific needs in ATLAS such as automatic generation of object converters and data object scripting interfaces.We present here details of our work and experience to date on the Athena Definition Language and Athena Data Dictionary.

一类具有“开端”结构的安全协议分析方法研究

开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议。本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Dif-fie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系。应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法。

Ka频段军事卫星通信应用

自20世纪70年代军用Ka频段卫星通信频率划分以来,其大带宽、高吞吐量的优势就一直吸引着军方。20世纪90年代中期,美国率先在其"全球广播系统"(GBS)中采用Ka频段,并搭载在"特高频后继星"(UFO)上,于1998年开始服役。然而,GBS系统仅使用了一小部分Ka频段频率资源,而Ka频段在军事通信卫星上的广泛应用则是在21世纪以后,典型的卫星系统共包括美国的"宽带全球卫星通信"卫星(WGS)、欧洲的"雅典娜-费多思"卫星(Athena-Fidus)和阿联酋的"阿联酋卫星"(Yahsat),等等。本文以军事通信卫星系统为对象,分析Ka频段的应用情况。

一种安全协议分析算法研究

研究分析了Athena自动协议形式化分析算法的原理。该算法能够分析协议的各种安全属性,它基于扩展了的串空间模型,利用了消息间的因果关系,并且结合了定理证明和模型检测方法,能有效地分析安全协议的各种安全属性。在此基础上,完整地分析了ISO/IEC DIS11770-3中提出的Helsinki协议的认证属性,分析得出该协议是有安全缺陷的。

Np(Ⅴ)吸附于纤铁矿/水界面的扩展X射线吸收精细结构(EXAFS)分析

本工作采用原位扩展X射线吸收精细结构(EXAFS)能谱首次揭示了Np(Ⅴ)吸附于合成纤铁矿(γ-FeOOH)表面的化学形态。Np LⅢ边EXAFS分析结果显示Np(Ⅴ)以五价镎酰离子吸附于γ-FeOOH,未发现多核络合物与表面沉淀。傅里叶转化结果在约3(1=0.1nm)附近的能峰可归于Np-Fe配位层,证明了Np(Ⅴ)-γ-FeOOH形成了内层吸附的单一形态表面络合物。所得分析结果与Np(Ⅴ)在相似构成的含铁矿物上的吸附形态结果进行了比较,进一步确认了Np-Fe、Np-O等关键配位层的存在。然而,还需要更多设计良好的EXAFS实验来确认是否存在Np-C配位层,以确认纤铁矿界面是否存在Np碳酸根表面络合物。

TCAD在“半导体工艺”课程中应用的教学探讨

分析了TCAD技术的主要功能,探讨其在"半导体工艺"课程教学中的应用。并以半导体工艺中的蚀刻为例,利用TCAD技术中ATHENA工艺仿真模块,对比了湿法蚀刻和干法蚀刻的特点。

八面雅典娜:希腊神话的多元文化编码

雅典娜女神不是希腊人独自想象出的形象,而是源于更早的地中海文明的女神崇拜传统,融合了多元文化要素后被希腊人再造而成。其直接原型是迈锡尼和克里特的米诺斯文明的女性主神兼王室守护神,其间接的原型则需追溯到新石器时代的鸟女神和鸮女神。将雅典娜的复杂性归纳为八副面孔:女战神、处女神、技艺守护神、智慧之神、猫头鹰女神、蛇女神,以及城市守护神和父亲生育的神,分别探讨其文化渊源和流变。

略论古希腊文明中的东方因素

自20世纪20年代,那种认为西方自古希腊、古罗马以来就自成一个文明传统的观点开始从根本上遭到质疑。现在越来越多的学者发现,西方文明实际上起源于非西方———更确切说是古代"东方"诸文明,东方化时代的希腊在各个领域内均受到东方文明的影响。

半导体器件物理与工艺的TCAD综合性实验设计

半导体器件物理与工艺课程主要让学生掌握半导体基本理论,器件基本结构、物理原理、特性及主要工艺技术对器件性能的影响。为了简化课程教学难度,提高教学质量,引入TCAD综合性实验设计。基础实验设计部分不仅能让学生更形象、直观的看到器件形貌、获取器件各参数,而且可以结合课程相关理论知识分析半导体工艺条件及器件结构参数对器件性能的影响,促进知识的转移、转化。创新性实验设计部分,学生根据已有的器件模型,自主设计其它性能器件,激发学生的学习兴趣,培养学生综合设计及创新能力。

基于SILVACO-TCAD的热氧化工艺实验教学探讨

本文分析了TCAD技术的在实验教学中的优势,探讨其在"半导体热氧化工艺"实验教学中的应用。并以半导体热氧化工艺为例,利用TCAD技术中ATHENA工艺仿真模块,仿真验证了热氧化厚度与热氧化时间的关系。

一体化显控技术在靶场试验指挥中的应用研究

在靶场试验任务可视化的指挥与导播中,随着任务规模的大幅拓展和信息容量的迅猛增加,传统显控系统显现出诸多问题。为提高显控效率和播出质量,本文运用一体化显控处理技术提出了新型一体化显控系统的研究,该系统具有功能强大、性能卓越、操管高效、工作可靠等特点,可为靶场试验指挥控制、导控导调、复杂推演及快速决策等提供技术支撑。