岳晓萌(1989-),男,博士,高级工程师,主要研究领域为操作系统,计算机架构,系统安全;李明树(1966-),男,博士,教授,博士生导师,CCF会士,主要研究领域为操作系统,软件工程,分布式系统;杨秋松(1977-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为操作系统,软件工程,系统安全.
岳晓萌,E-mail:yxmsamg@live.com
TP311
“核高基”国家科技重大专项(2014ZX01029101-002);中国科学院战略性先导科技专项(XDA-Y01-01,
岳晓萌,杨秋松,李明树. ETSG-SMT:一种SMT时间信道安全问题描述模型.软件学报,2022,33(12):4476-4503
复制