CORC

浏览/检索结果: 共3条,第1-3条 帮助

限定条件        
已选(0)清除 条数/页:   排序方式:
The Simplified Inductive Approach to Verifying Security Protocols 会议论文
作者:  Wang Juan;  Zhou Yajie;  Mang Huanguo
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
Scale-free analysis on ministry-owned internet 会议论文
作者:  Zhou, Yajie;  Wang, Juan;  Zhang, Jingwei
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
The Simplified Inductive Approach to Verifying Security Protocols 会议论文
作者:  Wang Juan;  Zhou Yajie;  Mang Huanguo
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05


©版权所有 ©2017 CSpace - Powered by CSpace