进程演算相关论文
移动分布式系统中的计算描述的是如何向分布在不同位置的用户提供高质量的信息服务,目前已经被广泛地应用于教育科研、国防军事、......
进程演算从20世纪80年代Milner的CCS交互模型开始已有30年光景.期间成百上千的模型和等价关系被提出来,研究也深入了相关的各个分......
本文研究了SSL协议的协议栈结构，重点分析了SSL3.0安全协议中的握手过程。在此基础上，基于CSP(Communicating Sequential Processe......
随着网络技术的应用逐步渗透到许多关键部门，以及电子商务的兴起与广泛应用，信息安全已变得日益重要。安全协议是信息安全的基础，但其......
随着计算机技术和网络通信技术的高速发展,以并发性、分布性、实时性、异构性和互操作性等主要特征的并发分布式系统已成为计算机......
随着计算机网络的发展,信息安全问题已变得日益重要。信息的安全性已经不是仅仅依赖一个好的加密算法就可以得以解决的问题,它需要......
