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

Yongwang Zhao

zhejiang university

12H指数
147论文数
519被引数
收录论文 17
发表时间
logo
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot Under Hardware Supply-Chain AttacksPA-Boot：一种经过形式验证的多处理器安全启动认证协议，用于应对硬件供应链攻击
errIEEE Transactions on Information Forensics and Security
IF8
err2026-01-01
err0
PREAI
errZhuoruo Zhang; Rui Chang; Mingshuai Chen; Wenbo Shen; Chenyang Yu; He Huang; Qinming Dai; Yongwang Zhao
err分享
err收藏
KBX: Verified Model Synchronization via Formal Bidirectional Transformation
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2025-01-25
err0
PREAI
errZhao, Jianhong; Zhao, Yongwang; Yao, Peisen; Zeng, Fanlang; Zhan, Bohua; Ren, Kui
err分享
err收藏
ProveriT: A Parameterized, Composable, and Verified Model of TEE Protection Profile
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2024-11-01
err1
PREAI
errHu, Jilin; Zeng, Fanlang; Zhao, Yongwang; Zhang, Zhuoruo; Zhang, Leping; Zhao, Jianhong; Chang, Rui; Ren, Kui
err分享
err收藏
Optimized design and biomechanical evaluation of biodegradable magnesium alloy vascular stents可降解镁合金血管支架的优化设计及生物力学评价
errACTA MECHANICA SINICA
IF4.6
err2024-08-22
err1
PREAI
errZhang, Aohua; Fan, Xuanze; Yang, Zhengbiao; Xie, Yutang; Wu, Tao; Zhang, Meng; Xue, Yanru; Wang, Yanqin; Zhao, Yongwang; Wu, Xiaogang; Wang, Yonghong; Chen, Weiyi
err分享
err收藏
Internal fixation system with the pyramid screw head for the treatment of Pauwels type III femoral neck fractures金字塔螺钉头内固定系统治疗pawels III型股骨颈骨折
errACTA MECHANICA SINICA
IF4.6
err2023-05-11
err0
PREAI
errWang, Songyuan; Deng, Xuan; Zhong, Hao; Ma, Lei; Wang, Xiyu; Lou, Xinqi; Fan, Xuanze; Duan, Wangping; Zhang, Kai; Li, Pengcui; Wei, Xiaochun; Zhao, Yongwang; Wang, Yanqin; Wu, Xiaogang; Xue, Yanru; Chen, Weiyi
err分享
err收藏
CVTEE: A Compatible Verified TEE Architecture With Enhanced Security
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-01-01
err2
PREAI
errMiao, Xinliang; Chang, Rui; Zhao, Jianhong; Zhao, Yongwang; Cao, Shuang; Wei, Tao; Jiang, Liehui; Ren, Kui
err分享
err收藏
Experimental investigation of the three-layer porcine articular cartilage's mechano-electrical properties
errACTA MECHANICA SINICA
IF4.6
err2022-10-13
err4
PREAI
errDong, Hao; Wang, Yan; Yu, Jianhao; Yan, Yang; Zhang, Kai; Zhao, Yongwang; Wang, Hang; Yu, Xiangyang; Wu, Xiaogang; Xue, Yanru; Wang, Yanqin; Li, Pengcui; Duan, Wangping; Wei, Xiaochun; Chen, Weiyi
err分享
err收藏
Model learning: a survey of foundations, tools and applications
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2021-06-29
err7
PREAI
errAli, Shahbaz; Sun, Hailong; Zhao, Yongwang
err分享
err收藏
Refinement-Based Specification and Security Analysis of Separation Kernels
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2019-01-01
err17
errOAAI
errZhao, Yongwang; Sanan, David; Zhang, Fuyuan; Liu, Yang
err分享
err收藏
A Verified Capability-Based Model for Information Flow Security With Dynamic Policies
errIEEE ACCESS
IF3.6
err2018-01-01
err5
errOAAI
errSun, Jianwen; Long, Xiang; Zhao, Yongwang
err分享
err收藏
A survey on formal specification and verification of separation kernels
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2017-01-11
err11
PREAI
errZhao, Yongwang; Yang, Zhibin; Ma, Dianfu
err分享
err收藏
Formal Verification of Behavioral AADL Models by Stateful Timed CSP
errIEEE ACCESS
IF3.6
err2017-01-01
err9
errOAAI
errZhang, Feng; Zhao, Yongwang; Ma, Dianfu; Niu, Wensheng
err分享
err收藏
Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2016-08-01
err15
PREAI
errZhao, Yongwang; Sanan, David; Zhang, Fuyuan; Liu, Yang
err分享
err收藏
HV2M: A novel approach to boost inter-VM network performance for Xen-based HVMs
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2016-04-01
err2
errOAAI
errCheng, Kun; Bai, Yuebin; Zhao, Yongwang; Ma, Yao; Lu, Duo; Peng, Yuanfeng; Zhou, Minxuan
err分享
err收藏
Towards a verified compiler prototype for the synchronous language SIGNAL
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2015-11-11
err12
errOAAI
errYang, Zhibin; Bodeveix, Jean-Paul; Filali, Mamoun; Hu, Kai; Zhao, Yongwang; Ma, Dianfu
err分享
err收藏
MIAPS: A web-based system for remotely accessing and presenting medical images
errCOMPUTER METHODS AND PROGRAMS IN BIOMEDICINE
IF4.8
err2014-01-01
err28
PREAI
errShen, Hualei; Ma, Dianfu; Zhao, Yongwang; Sun, Hailong; Sun, Sujun; Ye, Rongwei; Huang, Lei; Lang, Bo; Sun, Yan
err分享
err收藏
Development of global specification for dynamically adaptive software
errCOMPUTING
IF2.8
err2013-02-01
err4
PREAI
errZhao, Yongwang; Li, Zhuqing; Shen, Hualei; Ma, Dianfu
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
刘
刘洋 (Yang Liu)
H 指数: 106 · 论文数: 3.5K
K
Kui Ren
H 指数: 84 · 论文数: 557
王永红 封面图
王永红 (Yonghong Wang)
H 指数: 55 · 论文数: 382
张凯 封面图
张凯 (Kai Zhang)
H 指数: 51 · 论文数: 630
陈玮祎 封面图
陈玮祎 (Weiyi Chen)
H 指数: 49 · 论文数: 495
查看更多