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

期刊


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

全部

2021 2022 2023


题名刊名作者出版年年卷期
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
EDITORIAL BOARDHigh-Confidence Computing 20212
Design high-confidence computers using trusted instructional set architecture and emulatorsHigh-Confidence ComputingShuangbao(Paul)Wang20212
A trusted architecture for EV shared charging based on blockchain technologyHigh-Confidence ComputingYunhua He;Cui Zhang;Bin Wu;Ziye Geng;Ke Xiao;Hong Li20212
Electrolint and security of electron applicationsHigh-Confidence ComputingKsenia Peguero;Xiuzhen Cheng20212
A simplified scheme for secure offline electronic payment systemsHigh-Confidence ComputingMd.Abdullah Al Rahat Kutubi;Kazi Md.Rokibul Alam;Yasuhiko Morimoto20212
An unsupervised anomaly detection framework for detecting anomalies in real time through network system’s log files analysisHigh-Confidence ComputingVannel Zeufack;Donghyun Kim;Daehee Seo;Ahyoung Lee20212
CSRF protection in JavaScript frameworks and the security of JavaScript applicationsHigh-Confidence ComputingKsenia Peguero;Xiuzhen Cheng20212
1234567



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024