馆藏期刊(3)
CNKI学位论文(124)
知网期刊论文(78)
中图分类法(78)
文化、科学、教育、体育(1)
农业科学(1)
工业技术(77)
在“
知网期刊论文
”中,
命中:
78
条,耗时:0.021989 秒
在所有数据库中总计命中:
205
条
1.
投入产出网络中的关键产业
作者:
巩金秋
;
徐进
;
胡发胜
关键词:
投入产出网络
;
总产出波动
;
关键产业
年:2019
2.
一种改进的基于认证测试的形式化分析方法
作者:
姚萌萌
;
朱正超
;
刘明达
关键词:
串空间
;
认证测试
;
形式化分析方法
;
安全协议
年:2019
3.
基于伪ID的RFID认证协议及
串空间
证明
作者:
徐扬
;
苑津莎
;
高会生
;
胡晓宇
;
赵振兵
关键词:
认证协议
;
RFID
;
Hash
;
串空间
年:2017
4.
轻量级移动支付协议公平性分析
作者:
李茜
;
王峥
;
马建芬
;
李娜
关键词:
移动支付协议
;
形式化分析
;
串空间
;
公平性
;
模型检测
年:2018
5.
前言
作者:
王兴伟
;
李丹
;
苏金树
;
任丰原
年:2019
6.
可信计算环境下的IKEv2协议扩展方案
作者:
肖跃雷
;
武君胜
;
朱志祥
关键词:
可信计算
;
平台认证
;
串空间
模型
;
IKEv2
年:2018
7.
高斯混合模型结合加权似然的目标跟踪算法
作者:
陈超
关键词:
改进高斯混合模型
;
分数阶导数学习率
;
目标跟踪算法
;
加权似然跟踪
;
期望值最大化
年:2019
8.
安全协议抗DoS攻击的形式化分析研究
作者:
高强
;
林星辰
;
林宏刚
;
金大鹏
关键词:
安全协议
;
拒绝服务攻击
;
扩展
串空间
模型
年:2018
9.
基于预共享密钥的LAN安全关联方案改进与分析
作者:
肖跃雷
;
武君胜
;
朱志祥
关键词:
有线局域网
;
可信计算
;
平台认证
;
串空间
模型
;
安全关联
年:2018
10.
基于
串空间
的可信计算协议分析
作者:
冯伟
;
冯登国
关键词:
可信计算
;
远程证明
;
串空间
;
认证测试
;
形式化验证
年:2015
1
2
3
4
5
6
7
8
按检索点细分(78)
篇名(7)
关键词(36)
摘要(44)
引文(48)
按年细分(78)
2019年(4)
2018年(9)
2017年(9)
2016年(5)
2015年(19)
2014年(11)
2013年(18)
2012年(3)