密钥分发协议及其形式化分析

探讨了形式化分析在设计密码认证协议中的作用；基于Needham-Schroeder共享密钥协议和Ot-way-Rees协议，提出了新的认证协议，并用BAN逻辑对它进行形式分析，发现了潜在的攻击方法，指出形式分析可以辅助发现协议的设计缺陷；并讨论了这种分析的局限性以及可能的改进方向。     

定点补码乘法的一种实现方案

分析了定点补码一位乘法的计算过程，给出一种比较简单、易于实现的算法。     

Visual C+ + 5.0平台上的多线程开发

介绍了Windows95/98/NT中的多线程技术,并提供利用W32API开发多线程应用的方法。     

染料敏化太阳能电池过渡金属氮化物对电极研究进展

对电极作为染料敏化太阳能电池(dye-sensitized solar cells, DSSCs)的核心部分之一,其材料的价格、性能和制备方法直接影响DSSCs的发展和应用.DSSCs常用Pt对电极价格昂贵,因此寻找低成本高性能的催化材料代替Pt对电极是降低DSSCs成本的有效途径之一.过渡金属氮化物的电子结构与Pt相似,具有高的催化活性和耐腐蚀性,价格低廉,使其具有广阔的应用前景.文章综述了利用载体与过渡金属氮化物的协同作用或将过渡金属氮化物制备成独特的纳米结构(纳米管和高度有序的阵列等)来解决过渡金属氮化物易团聚和大规模的物质运输受限制等问题.最后提出,开发双组元或多组元过渡金属氮化物和柔性过渡金属氮化物对电极可以作为未来发展方向.