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

Ke Yang

East China Jiaotong University

22H指数
112论文数
7.7K被引数
收录论文 4
发表时间
logo
A formal analysis method for composition protocol based on model checking
errSCIENTIFIC REPORTS
IF3.9
err2022-05-19
err5
errOAAI
errXiao, Meihua; Zhao, Hanyu; Yang, Ke; Ri Ouyang; Song, Weiwei
err分享
err收藏
LoET-E: A Refined Theory for Proving Security Properties of Cryptographic ProtocolsLoet-e: 一种用于证明密码协议安全性的改进理论
errIEEE ACCESS
IF3.6
err2019-01-01
err3
errOAAI
errSong, Jiawen; Xiao, Meihua; Yang, Ke; Wang, Xizhong; Zhong, Xiaomei
err分享
err收藏
Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events
errIEEE ACCESS
IF3.6
err2018-01-01
err2
errOAAI
errYang, Ke; Xiao, Meihua; Song, Jiawen; Chen, Jia; Zhong, Xiaomei; Wang, Xizhong
err分享
err收藏
Wing tip vortex structure behind an airfoil with flaps at the tip翼尖带有襟翼的机翼后面的翼尖涡流结构
errSCIENCE CHINA-PHYSICS MECHANICS & ASTRONOMY
IF7.5
err2011-03-02
err10
PREAI
errYang Ke; Xu ShengJin
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
X
Xizhong Wang
H 指数: 11 · 论文数: 51
徐
徐胜金 (Shengjin Xu)
H 指数: 10 · 论文数: 39
M
Meihua Xiao
H 指数: 8 · 论文数: 51
X
Xiaomei Zhong
H 指数: 7 · 论文数: 37
R
Ri Ouyang
H 指数: 3 · 论文数: 5
查看更多