摘要：设计安全、有效的密码协议是密码学和通讯领域的一个十分重要的研究课题,与密码协议的形式化分析方法究同步发展。文章在研究链空间模型和认证测试思想的基础上,采用链空间方法指导密码协议的设计,并设计了一个于公钥密码体制的协议PCP。

摘要：安全虚拟专用网是一种有着广泛应用前景的技术。着重介绍了一种虚拟专用网的实现方案，详细分析了此系统的各个组成部分，并对整个系统的安全性进行了分析。

摘要：本文提出了一个基于可能性计算模型的定量风险评估方法,设计并实现了一个计算机辅助评估系统,它利用业务事务价值和可能性计算模型来计算资产的风险值,有效提高了风险评估过程的自动化水平和准确性。

摘要：在分析SOCKSv5代理服务协议及可扩展认证协议EAP的基础上,设计了一种基于SOCKSv5与EAP联合的代理认证服务器。