基于VC++和JAVA的多线程程序设计与实现

讨论了多线程的基本概念及应用场合,总结了以面向对象主流语言VC 和JAVA为工具的多线程程序设计实现方法。比较了两种语言在创建和调度线程的差异,并分析了全局变量、自定义消息、等待/通知三种多线程间的通信机制。介绍了在VC 中用信号量、互斥体、事件和临界区四种对象实现和在JAVA中用Synchronized关键字实现的同步技术。最后,对改进多线程应用的性能和安全提出了一些策略。结论是多线程有利有弊,要合理使用。两种语言各有所长,根据应用而选。     

WDM驱动程序中设备事件通知技术研究

设备驱动程序是应用程序和硬件设备之间通信必不可少的一层，应用程序必须要通过设备驱动程序访问硬件设备。在很多设备的驱动程序中都要求把设备事件，例如中断、数据到达、设备出错等通知给应用程序。因此在驱动程序设计过程中，选择合适的设备事件通知技术至关重要。文中介绍了WDM模型设备驱动程序把设备事件通知给用户模式应用程序的5种方法，说明了每种方法的具体程序设计流程及应注意的事项，并讨论了每种方法的应用范围和局限。     

对一种(t,N-2)弹性Mix Net的密码学分析

分析了Gao等人提出的(t, N-2)弹性Mix Net方案,发现存在严重安全漏洞．主动攻击者利用Elgamal算法的可展性构造具有相关性的密文组,然后通过观察对应明文组的相关性获得输入与输出的对应关系,最终破坏Mix Net的秘密性．两个不同服务器组中的恶意服务器可以相互勾结利用共谋攻击使Mix Net输出错误结果,并以不可忽略的概率逃过验证协议的检验．分析结果说明Gao的方案不满足(t, N-2)弹性,且基于该Mix Net的电子投票应用也是不安全的．     

哼唱检索中一种新的旋律模糊匹配方法

针对哼唱的非精确性,提出一种新的方法,将模糊集合及方法引入旋律近似匹配的过程,在用户查询与数据库目标数据之间构造模糊隶属函数,根据隶属度判断音高差信息的相似度,同时对音长比信息进行相似度计算,用两者加权得分作为动态规划法匹配过程中的转换代价,最终得到两个匹配序列的编辑距离,从而得到查询结果．实验结果显示模糊方法的引入提高了检索命中率,同时考虑音长特征的策略也提高了检索精度．在样本集内,检索结果的前十位命中率较原有的5阶音高差近似匹配方法提高了16%．     

选择密文安全的可验证Mix-Net协议

A CCA-secure verifiable Mix-Net protocol with provable security was proposed.The protocol was based on Wikstr?m’s Mix-Net and improves its security by introducing an improved key generation algorithm and a new method for constructing proof of secret shuffling.Without revealing the correspondence between inputs and outputs,proposed protocol enables everyone to verify the correctness of output plaintexts through checking evidences broadcasted by each server.Thus,it satisfies public verifiability.Any sender can trace and examine the processing procedure of its ciphertext.Thus,proposed protocol satisfies sender verifiability.It is prored to be CCA-secure under the assumption of random oracle.Compared with previous mix-net schemes which are CCA-secure,proposed protocol does not require any trusted center,and incurs fewer interactions between servers which also resulting in a lower computation and communication complexity.Hence,the protocol is an ideal cryptographic tool for constructing secure electronic election protocol.     

高效的基于混合加密的乐观Mix-net协议

提出了一种高效的基于混合加密算法的Mix-net协议。正常情况下,当所有Mix服务器都忠实地执行协议时,其运算速度优于其他所有已知的具有公开可验证性的Mix-net。采用一种“乐观的”、基于散列运算的方法验证混洗过程的正确性,避免了构造复杂的、耗时的零知识证明,因此获得了速度上的提升。只用两轮逐元素的测试过程确保消息未被恶意服务器篡改,并且测试中仅涉及低代价的散列运算。公钥加密和对称密钥加密的有效结合也加速了混洗。这些优化措施使单个Mix服务器的运算量几乎和服务器数目无关,除了少量可忽略的计算任务。此外,任何人都可以通过少量的指数运算快速验证输出结果的正确性。方案也满足健壮性。这些特点使该方案非常适合用在大规模的电子选举中。