科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
B
Barbara Fila
universite de rennes
4
H指数
16
论文数
130
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
Pragmatic Guidelines for Formal Modeling of Security Ceremonies
安全仪式形式建模的实用指南
SECURITY AND TRUST MANAGEMENT, STM 2025
IF
0
2026-01-01
0
PRE
AI
Fila, Barbara; Hoxha, Ermenda
分享
收藏
Beyond 2014: Formal Methods for Attack Tree-based Security Modeling
ACM COMPUTING SURVEYS
IF
28
2019-08-30
42
PRE
AI
Widel, Wojciech; Audinot, Maxime; Fila, Barbara; Pinchinat, Sophie
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
S
Sophie Pinchinat
H 指数: 17 · 论文数: 119
W
Wojciech Wideł
H 指数: 8 · 论文数: 17
M
Maxime Audinot
H 指数: 4 · 论文数: 12
E
Ermenda Hoxha
H 指数: 0 · 论文数: 2
已加载全部