退出
我的积分:
中文文献批量获取
外文文献批量获取
郑君杰; 肖军模; 杨明; 刘志华; 叶松; 周延年;
解放军理工大学气象学院;
解放军理工大学通信工程学院;
有色Petri网; 安全协议; Diffie-Hellman协议; 仿真;
机译:动态跟踪生成方法,用于加密协议的安全性分析:基于有色Petri网的方法
机译:使用定时有色Petri网的基于形式模型的定量安全性分析
机译:具有同态性质的TMN协议安全性分析的实时跟踪生成方法:基于Petri网的方法
机译:有色Petri网对Micali公平合同签署协议的安全性分析:多会话案例
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:基于彩色Petri网的安全认证协议安全性分析
机译:petri网与故障树分析:结合两种技术进行嵌入式军事应用的软件安全性分析。
机译:基于扩展Petri网的仿真系统
机译:基于扩展Petri网的仿真器
机译:基于仿真的Petri网的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。