中国机械工程学会生产工程分会知识服务平台

期刊


issn 
刊名High-Confidence Computing
中译刊名 
简介 
收藏年代 

全部

2021 2022 2023

vol.01 vol.02

题名刊名作者出版年年卷期
A model checking-based security analysis framework for IoT systemsHigh-Confidence ComputingZheng Fang;Hao Fua;Tianbo Gu;Zhiyun Qian;Trent Jaeger;Pengfei Hu;Prasant Mohapatra20211
EDITORIAL BOARDHigh-Confidence Computing 20211
USB powered devices:A survey of side-channel threats and countermeasuresHigh-Confidence ComputingHao Liu;Riccardo Spolaor;Federico Turrin;Riccardo Bonafede;Mauro Conti20211