HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 迹语义论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
基于迹语义的网络安全协议形式化分析第107-109页
关键词: 安全协议  形式化方法  迹语义  模型检测  
2007年第02期 《计算机与现代化》
事件结构的近似迹与单元失败等价第674-683页
关键词: 近似等价  事件结构  单元失败语义  步进语义  迹语义  
2016年第04期 《电子科技大学学报》
基于Petri网的非演绎安全模型的分析与验证第21-23页
关键词: 迹语义  petri网  信息流安全模型  非演绎模型  
2012年第02期 《滁州学院学报》
基于安全进程代数的非演绎安全模型的分析与验证第56-58页
关键词: 迹语义  安全进程代数  信息流安全模型  非演绎模型  
2012年第02期 《计算机科学》
期刊导航