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

Chiara Bodei

Department of Computer Science

16H指数
114论文数
1.2K被引数
收录论文 4
发表时间
logo
CARBUROS: A Formally Verified Authentication Protocol for V2X CommunicationsCARBUROS：一种经过形式验证的V2X通信认证协议
errIEEE Access
IF3.6
err2025-01-01
err0
errOAAI
errMarco De Vincenzi; Chiara Bodei; Gabriele Costa; Ilaria Matteucci
err分享
err收藏
Modelling and analysing IoT systems
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2021-11-01
err1
PREAI
errBodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
err分享
err收藏
Authentication primitives for secure protocol specifications
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2005-05-01
err3
PREAI
errBodei, C; Degano, P; Focardi, R; Priami, C
err分享
err收藏
Flow logic for Dolev-Yao secrecy in cryptographic processes密码过程中dolev-yao保密的流程逻辑
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2002-05-01
err12
PREAI
errBodei, C; Degano, P; Nielson, F; Nielson, HR
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
F
Flemming Nielson
H 指数: 37 · 论文数: 338
P
Pierpaolo Degano
H 指数: 36 · 论文数: 334
H
Hanne Riis Nielson
H 指数: 34 · 论文数: 308
C
Corrado Priami
H 指数: 33 · 论文数: 351
G
Gian-Luigi Ferrari
H 指数: 29 · 论文数: 184
查看更多