Resource and timing aspects of security protocols
Resource and timing aspects of security protocols
复制标题
安全协议的资源和计时方面
DOI：
10.3233/jcs-200012
复制
发表时间：
2021
影响因子：
1.2
通讯作者：
Aires Urquiza A
中科院分区：
文献类型：
--
作者：
Aires Urquiza A
登录
查看更多内容
影响因子：
0.5
作者：
M. Kanovich;Tajana Ban Kirigin;Vivek Nigam;A. Scedrov;C. Talcott;Ranko Perovic
通讯作者：
Ranko Perovic
协作系统中的有限内存 Dolev-Yao 对手
影响因子：
1
作者：
M. Kanovich;Tajana Ban Kirigin;Vivek Nigam;A. Scedrov
通讯作者：
A. Scedrov
距离限制协议：无需时间和地点的验证
DOI：
--
发表时间：
2018
期刊：
IEEE Symposium on Security and Privacy
影响因子：
--
作者：
S. Mauw;Zach Smith;Jorge Toro;Rolando Trujillo
通讯作者：
Rolando Trujillo
关于安全协议物理属性的形式推理
DOI：
10.1145/2019599.2019601
发表时间：
2011
期刊：
ACM Trans. Inf. Syst. Secur.
影响因子：
--
作者：
D. Basin;Srdjan Capkun;P. Schaller;Benedikt Schmidt
通讯作者：
Benedikt Schmidt
IP 语音协议的安全分析
DOI：
--
发表时间：
2007
期刊：
IEEE Computer Security Foundations Symposium
影响因子：
--
作者：
Prateek Gupta;Vitaly Shmatikov
通讯作者：
Vitaly Shmatikov