基于Pi-演算的THP协议形式化建模与验证 - 2008全国软件与应用学术会议(NASAC08).pdf

会议论文《基于Pi-演算的THP协议形式化建模与验证》发表于2008全国软件与应用学术会议(NASAC08)。该文利用Pi-演算对THP协议进行形式化建模，通过理论分析验证其正确性与安全性，为分布式系统中的通信协议提供了可靠的验证方法。

文档为pdf格式，0.49MB，总共5页。

基于Pi-演算的THP协议形式化建模与验证 - 2008全国软件与应用学术会议(NASAC08).pdf

文件大小:

501.76 KB

高速下载