Automated Attacker Synthesis for Distributed Protocols
Automated Attacker Synthesis for Distributed Protocols
复制标题
分布式协议的自动攻击者合成
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Nita-Rotaru, Cristina
中科院分区：
文献类型：
--
作者：
von Hippel, Max;Vick, Cole;Tripakis, Stavros;Nita-Rotaru, Cristina
登录
查看更多内容
阿朗佐教堂
影响因子：
0.6
作者：
R. Shore
通讯作者：
R. Shore
安全平台映射的自动合成
DOI：
10.1007/978-3-030-25540-4_12
发表时间：
2020
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Kang, E.;Lafortune, S.;Tripakis, S.
通讯作者：
Tripakis, S.
分布式协议的自动合成
DOI：
10.1145/3061640.3061652
发表时间：
2017
期刊：
SIGACT News
影响因子：
--
作者：
R. Alur;S. Tripakis
通讯作者：
S. Tripakis
使用集合论对漏洞利用和缓解技术进行数学建模
DOI：
10.1109/spw.2018.00050
发表时间：
2018
期刊：
2018 IEEE Security and Privacy Workshops (SPW)
影响因子：
--
作者：
R. Branco;Kekai Hu;Henrique Kawakami;Ke Sun
通讯作者：
Ke Sun
DOI：
10.1007/978-3-319-13338-6_7
发表时间：
2014
期刊：
ArXiv
影响因子：
--
作者：
R. Alur;Milo M. K. Martin;Mukund Raghothaman;C. Stergiou;S. Tripakis;Abhishek Udupa
通讯作者：
Abhishek Udupa