科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
A
Anduo Wang
pennsylvania commonwealth system of higher education (pcshe)
9
H指数
48
论文数
294
被引数
0
相关解读
订阅
收录论文
3
发表时间
发表时间
IF
被引数
Declarative Debugging for Modern Networks
现代网络的声明式调试
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF
0
2026-01-01
0
PRE
AI
Wang, Anduo; Caesar, Matthew
分享
收藏
SecTracer: A Framework for Uncovering the Root Causes of Network Intrusions via Security Provenance
SecTracer:一个通过安全溯源揭示网络入侵根本原因的框架
Computers & Security
IF
5.4
2025-11-17
0
PRE
AI
Seunghyeon Lee; Hyunmin Seo; Hwanjo Heo; Anduo Wang; Seungwon Shin; Jinwoo Kim
分享
收藏
FSR: Formal Analysis and Implementation Toolkit for Safe Interdomain Routing
FSR: 安全域间路由的形式化分析和实现工具包
IEEE-ACM TRANSACTIONS ON NETWORKING
IF
3.6
2012-12-01
27
OA
AI
Wang, Anduo; Jia, Limin; Zhou, Wenchao; Ren, Yiqing; Loo, Boon Thau; Rexford, Jennifer; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
J
Jennifer Rexford
H 指数: 100 · 论文数: 463
M
Matthew Caesar
H 指数: 46 · 论文数: 180
B
Boon Thau Loo
H 指数: 38 · 论文数: 278
A
Andre Scedrov
H 指数: 38 · 论文数: 228
C
Carolyn Talcott
H 指数: 37 · 论文数: 340
查看更多