每年的科研成果
每年的科研成果
个人简介
与联合国可持续发展目标相关的专业知识
2015 年，联合国成员国同意 17 项可持续发展目标 (SDG)，以消除贫困、保护地球并确保全人类的繁荣。此人的工作有助于实现下列可持续发展目标：
指纹
深入其中 Jiaqi Yin 为活跃的研究主题。这些主题标签来自此人的成果。它们共同形成唯一的指纹。
最近五年的合作关系和顶尖研究领域
最近的国家/地区级外部合作关系。点击圆点，以了解详细信息或
-
Formal Verification and Security Analysis of Go-based New Simple Queue System
Hou, Z., Wang, D., Yin, J., Chen, S. & Zhu, H., 2025, (已接受/待刊) 在: Journal of Circuits, Systems and Computers. 2550145.科研成果: 期刊稿件 › 文章 › 同行评审
-
Security verification framework for NDN access control
Fei, Y., Yin, J. & Yan, L., 12月 2025, 在: Scientific Reports. 15, 1, 5479.科研成果: 期刊稿件 › 文章 › 同行评审
开放访问 -
Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system
Yin, J., Chen, S., Lv, Y. & Zhu, H., 9月 2024, 在: Software Quality Journal. 32, 3, 页码 1175-1202 28 页码科研成果: 期刊稿件 › 文章 › 同行评审
-
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP
Zhu, B., Yin, J., Chen, S. & Zhu, H., 8 4月 2024, 39th Annual ACM Symposium on Applied Computing, SAC 2024. Association for Computing Machinery, 页码 300-302 3 页码 (Proceedings of the ACM Symposium on Applied Computing).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
Formalization and Verification of the Zab Protocol Using CSP
Dong, W., Yin, J., Chen, S. & Zhu, H., 2024, Parallel and Distributed Computing, Applications and Technologies - Proceedings of PDCAT 2023. Park, J. S., Takizawa, H., Shen, H. & Park, J. J. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 12-24 13 页码 (Lecture Notes in Electrical Engineering; 卷 1112 LNEE).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审