密码协议的一种安全模型

将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.以kerberos密码协议系统为例,利用该安全模型和假设/保证推理技术对密码协议系统进行了安全验证.     

云计算中的轻量级查询结果验证机制

存储在云计算服务器上的数据可能被篡改或删除,查询完整性验证的作用是确保查询用户能够验证查询结果中的数据是真实的,且包含所有满足条件的数据。提出了一种基于签名链结构的查询完整性验证机制。方案使用代数签名机制替代数字签名实现校验值的计算,从而有效降低计算和查询验证开销。此外,通过维护一种新的、简单的索引结构实现了仅需下载少量数据即可实现校验值的更新。实验结果表明,所提方案比基于数字签名的签名链方案具有更小的更新开销和更高的验证效率。     

32P敷贴和激光治疗尖锐湿疣疗效分析

为比较^32P敷贴和激光对尖锐湿疣的治疗效果，探讨^32P敷贴治疗的临床应用价值，将172例尖锐湿疣患者随机分成两组：激光治疗组(100例)和^32P敷贴治疗组(72例)分别进行治疗。结果显示，激光组和^32P敷贴组的临床治愈率、有效率、复发率以及副作用发生率分别为43．0％、100%、57．0％、16．0％和87．5％、100％、4．2％、9．7％。表明^32P敷贴治疗尖锐湿疣，方法简便、无创无痛、疗效显著、复发率低、副作用少，具有较高的临床应用价值。     

32P敷贴和激光治疗手足寻常疣

为了探讨32p和激光治疗寻常疣的临床疗效及其应用价值,门诊随机选择手足寻常疣患者229例,其中男性83例,女性146例,平均年龄34.6±19.5(x-±s)岁.这些患者被随机分成两组激光治疗组,127例,局麻下以CO2激光汽化或切割除掉疣体,若病灶数目多,需分次分批治疗;32P敷贴治疗组,102例,将放射性核素32p液均匀滴于滤纸上,晾干后将其固定于相应病灶表面进行敷贴治疗,每次持续敷贴时间为4-8 h,其病损表面吸收剂量为984-1968 cGy,每周敷贴1次,直至痊愈,观察临床反应和疗效.结果表明激光治疗组临床有效率、治愈率、复发率、副作用发生率、并发症发生率分别是100%、55.9%、44.1%、17.3%、25.2%;32p敷贴治疗组分别是100%、91.2%、5.9%、19.6%、7.8%.结论32P敷贴治疗手足寻常疣,方法简便,安全,痛苦小,疗效显著,复发率低,副作用和并发症少,是一种成功有效的治疗方法.     

密码协议的一种基于组合推理的模型验证

将密码协议与协议中用到的密码算法视为一个系统，基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设／保证的组合推理技术提出了新的假设／保证推理规则和假设／保证推理算法，证明了该规则的正确性，实现了密码协议系统的模型验证，并重点解决了系统分解问题、假设函数的设定问题等难题。以kerberos v5密码协议系统为例，利用该组合推理技术对密码协议系统进行了安全验证。     

Internet网络管理安全协议研究

指出了攻击网管信息的方法,提出了安全网管系统应具有的功能。然后,描述了SNMPv_2网管安全协议,并分析了该协议建议使用安全机制的安全性及存在的问题。     

安全协议的形式化需求及验证

该文采用近世代数和时序逻辑的方法提出并描述了密码协议的形式化安全需求,并在AT模型的基础上加入信任和知识的非单调逻辑,建立了安全协议的计算模型。利用该计算模型对Denning_Sacco公钥协议进行了验证,发现了对此协议的重放攻击,并对协议进行了修改。     

CLIPS不确定推理和解释机制的实现

本文分析了专家系统ＣＬＩＰＳ的工作原理及其缺陷，将ＣＬＩＰＳ的谓词逻辑扩展成模糊逻辑，进而使其具有不确定推理的功能，同时为ＣＬＩＰＳ设计了解释机制。     

基于socket的网络实时管理与通信

本文首先简要介绍了TCP/IP协议上socket技术,然后介绍了建立在socket层之上的网络实时管理与通信系统及其设计特点。     

网络支付协议的形式化安全需求及验证逻辑

从整个网络支付协议的安全角度出发，提出网络支付协议的多层安全需求模型，包括以认证和密钥分配为基础的基层需求、网络支付协议固有的中层需求(包括保密性、原子性、公平性、完整性、匿名性、不可否认性、可追究性等)、以及面向具体应用的高层需求。基于一阶逻辑和时序逻辑，提出一种适合描述网络支付协议的形式化安全需求的逻辑，描述了该逻辑的语法结构和推理规则，并用该安全需求逻辑对网络支付协议的多层安全需求进行了形式化描述。最后，以SET协议为例进行需求验证。