摘要：基于票据(Ticket)提出一个实用的移动网络匿名认证协议.协议分为两个阶段:票据产生阶段与漫游认证阶段.协议在票据产生阶段不需要访问服务器参与,且在漫游认证阶段不需要归属服务器参与,因此交互轮数少;协议使用椭圆曲线Diffie-Hellman(ECDH)协议进行密钥协商、使用椭圆曲线公钥加密(ECC)对认证消息进行加密并使用椭圆曲线数字签名算法(ECD-SA)来产生及认证票据,因此具有较高的效率;同时协议利用CK模型进行形式化设计,具有会话密钥安全性(SK-secure).分析表明,该协议能够为移动网络提供用户匿名性的同时,终端计算时间仅是基于群签名的协议的三分之一左右,且满足票据可多次使用,因此适用于大规模的实际应用.

摘要：目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面,给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与Obliviousness,模块化横切关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。

摘要：目的建立一种基于表面等离子体共振传感器技术检测人类甲型流感病毒的方法,并进行初步诊断应用。方法分别设计基于甲型流感M基因的引物和探针,制备RT-PCR扩增产物,优化并确定基于传感技术的实验条件,建立高灵敏度和高特异度的表面等离子体共振传感器方法。结果缓冲液的盐离子强度和pH值是影响杂交效果的关键因素,对其优化后标准曲线参数良好,甲型流感病毒标准品的Ru值与其相应梯度稀释标准品浓度呈良好的线性关系(R2>0.99),同时,该传感器在200 mmol/L氯化钠的磷酸盐缓冲液中可以有效区分DNA的完全匹配与单碱基错配,以乙型流感探针作为质控,该探针并不与甲型流感扩增产物发生特异性杂交。结论成功建立了高灵敏度和高特异度的甲型流感病毒表面等离子体共振传感器检测方法,为临床诊断或感染病例提供了技术平台。