w9521423的博客

运行环境： VC6 SP5, 2000 SP1,NT4 SP3 在通常的编程中获得会话密钥匙非常重要的。然而，微软的加密操作API(无论是基础的还是增强的)都不能提供这项功能。CryptExportKey() 和 CryptImportKey() 各自要求一个有效的密钥句柄来对会话密钥进行加密和解密。MSDN 展示了一种使用私钥的方法。但是微软的这个在MSDN中例子相当的长。下面的这个方法不仅更快

安全协议验证的研究心得- -                                       目前我在做网络安全协议形式化验证方法的研究，走过了一些弯路，最开始使用BAN-like的逻辑语言，后来发现这类语言有它自身的局限性，而且目前安全协议的形式化验证方法已经提出了比较新，也比较完善的模型-strand space模型，这种方法在安全协议分析中使用了很多离散数学中的形式和证明方法，通