FOCPN相关论文
安全协议的形式化分析方法有许多,但都普遍存在一些问题,该文介绍了一种在CPN模型基础上改进的形式化方法FOCPN,并且利用该方法对I......
安全协议的形式化分析方法有许多，但都普遍存在。些问题，本文介绍了一种在CPN模型壮础上改进的形式化方法FOCPN，并且利用该方法对IBS......
