形式化分析CPN 相关硕士博士期刊学术论文 - 搜论网

形式化分析CPN相关论文

一种含时间因素的安全协议形式化分析方法

提出一种针对包含时间因素的安全协议的有色Petri(CPN)形式化分析方法,利用CPN Tools中的内置全局自动时钟标记,时间相关性质可通......

期刊

形式化分析CPN 时间因素安全协议 Formal analysis Coloured Petri net Time factors Security prot

看过本文同时还关注