软件学报

作者：张建标，康双，张兆乾，刘德田

单位：张建标，北京工业大学 计算机学院, 北京 100124;可信计算北京市重点实验室, 北京 10012411,康双，北京工业大学 计算机学院, 北京 100124;可信计算北京市重点实验室, 北京 10012402,张兆乾，中国长江三峡集团有限公司 科学技术研究院, 北京 10003803,刘德田，北京工业大学 计算机学院, 北京 100124;可信计算北京市重点实验室, 北京 10012404

关键词：联盟链;智能合约;可信验证;主动度量

基金：北京市自然科学基金(M21039)

针对联盟链系统中恶意攻击者利用智能合约中的安全漏洞带来的行为不可信问题, 提出一种面向联盟链的智能合约行为可信验证机制对合约行为完整性进行可信验证. 首先以系统调用作为最小行为单元, 以基于系统调用的行为序列描述历史行为状态, 然后在确保合约代码发布和执行环境可信的前提下, 在合约运行时根据预期行为规则进行可信验证, 最后对该机制进行了理论分析, 并在Hyperledger Fabric环境下进行实验评估. 结果表明, 该方法能够有效实现对智能合约行为的可信验证, 能够保障智能合约生命周期内的行为可信.

来源：2025年第10期

《软件学报》期刊编辑部

查看软件学报杂志2025年第10期