迹模型相关论文
CSP（Communicating Sequential Processes）是构建并发系统和网络安全协议的经典方法.当前主流的CSP模型验证方法需将进程转化为迁移......
提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用......
主要通过指称语义和回答集程序（Answer Set Programming,简称ASP）完成迹模型的生成,并构建了一套基于计算树逻辑（computing tree logi......
