首页
期刊浏览
2024年11月24日 星期日
登录
注册
高级检索
专家检索
文章基本信息
标题：
NSPK Protocol Security Model Checking System Builder
本地全文：
下载
作者：
Wang Yan
;
Lin Ying
期刊名称：
International Journal of Security and Its Applications
印刷版ISSN：
1738-9976
出版年度：
2015
卷号：
9
期号：
7
页码：
307-316
DOI：
10.14257/ijsia.2015.9.7.28
出版社：
SERSC
联系我们
|
关于我们
|
网站声明
国家哲学社会科学文献中心版权所有
