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

Roberto Gorrieri

机构信息待补充

38H指数
248论文数
5.1K被引数
收录论文 4
发表时间
logo
Real-time information flow analysis
errIEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS
IF17.2
err2003-01-01
err24
errOAAI
errFocardi, R; Gorrieri, R; Martinelli, F
err分享
err收藏
A compiler for analyzing cryptographic protocols using noninterference
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2000-10-01
err26
errOAAI
errDurante, A; Focardi, R; Gorrieri, R
err分享
err收藏
Computing Surveys' Electronic Symposium on the Theory of Computation
errACM COMPUTING SURVEYS
IF28
err1999-09-01
err0
errOAAI
errDegano, P; Gorrieri, R; Marchetti-Spaccamela, A; Wegner, P
err分享
err收藏
The compositional security checker: A tool for the verification of information flow security properties
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1997-01-01
err100
PREAI
errFocardi, R; Gorrieri, R
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
F
Fabio Martinelli
H 指数: 41 · 论文数: 577
P
Peter Wegner
H 指数: 36 · 论文数: 267
P
Pierpaolo Degano
H 指数: 36 · 论文数: 334
A
Alberto Marchetti-Spaccamela
H 指数: 35 · 论文数: 259
R
Riccardo Focardi
H 指数: 29 · 论文数: 188
查看更多