Statistical Model Checking for Hyperproperties
Statistical Model Checking for Hyperproperties
复制标题
超属性的统计模型检查
DOI：
10.1109/csf51468.2021.00009
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Pajic, Miroslav
中科院分区：
文献类型：
--
作者：
Wang, Yu;Nalluri, Siddhartha;Bonakdarpour, Borzoo;Pajic, Miroslav
登录
查看更多内容
DOI：
--
发表时间：
1992
期刊：
Journal of computing and security
影响因子：
--
作者：
J. W. Gray
通讯作者：
J. W. Gray
DOI：
10.1007/978-3-319-96145-3_16
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
B. Finkbeiner;Christopher Hahn;Philip Lukert;Marvin Stenger;Leander Tentrup
通讯作者：
Leander Tentrup
缓存替换策略的安全分析
DOI：
10.1007/978-3-662-54455-6_9
发表时间：
2017
期刊：
ACM Transactions on Embedded Computing Systems (TECS)
影响因子：
--
作者：
Pablo Cañones;Boris Köpf;J. Reineke
通讯作者：
J. Reineke
概率和因果关系。
DOI：
--
发表时间：
1982
期刊：
影响因子：
--
作者：
Richard Otte
通讯作者：
Richard Otte
影响因子：
0.8
作者：
Finkbeiner, Bernd;Hahn, Christopher;Tentrup, Leander
通讯作者：
Tentrup, Leander