Industrial control systemAuthentication and key agreement frameworkLightweight key agree-ment protocolAutomated validation of Internet security protocols and application
National Key R&D Program of ChinaNational Natural Science Foundation of ChinaOpen Project Program of Key Laboratory of Blockchain and Cyberspace Governance of Zhejiang Province
2021YFB310160162072401
2024