logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
R

Richard A. Kemmerer

University of California System

42H指数
168论文数
7.6K被引数
收录论文 5
发表时间
logo
Formal analysis of an electronic voting system: An experience report
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2011-10-01
err7
PREAI
errWeldemariam, Komminist; Kemmerer, Richard A.; Villafiorita, Adolfo
err分享
err收藏
An Experience in Testing the Security of Real-World Electronic Voting Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2010-07-01
err26
PREAI
errBalzarotti, Davide; Banks, Greg; Cova, Marco; Felmetsger, Viktoria; Kemmerer, Richard A.; Robertson, William; Valeur, Fredrik; Vigna, Giovanni
err分享
err收藏
Hi-DRA: Intrusion detection for Internet security
errPROCEEDINGS OF THE IEEE
IF25.9
err2005-10-01
err19
errOAAI
errKemmerer, RA; Vigna, G
err分享
err收藏
A comprehensive approach to intrusion detection alert correlation
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2004-07-01
err316
errOAAI
errValeur, F; Vigna, G; Kruegel, C; Kemmerer, RA
err分享
err收藏
Specification of realtime systems using ASTRAL使用ASTRAL的实时系统的规范
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1997-01-01
err23
PREAI
errCoenPorisini, A; Ghezzi, C; Kemmerer, RA
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
C
Christopher Kruegel
H 指数: 92 · 论文数: 328
G
Giovanni Vigna
H 指数: 83 · 论文数: 332
C
Carlo Ghezzi
H 指数: 53 · 论文数: 495
D
Davide Balzarotti
H 指数: 49 · 论文数: 164
W
William Robertson
H 指数: 45 · 论文数: 296
查看更多