颜色网论文

基于颜色Petri网的安全协议分析
论文摘要随着计算机网络应用的不断深入，对安全协议进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。形式化分析由于其精炼、简洁和无二义性逐步成为分析安全协议的一条可靠和...