张建标 等: 面向联盟链的智能合约行为可信验证机制 4627 张建标(1969-), 男, 博士, 教授, 博士生导师, 张兆乾(1992-), 男, 博士, 工程师, 主要研究领 CCF 高级会员, 主要研究领域为可信计算, 系统 域为可信计算, 能源区块链, 访问控制. 安全, 云安全, 区块链技术. 康双(1999-), 女, 硕士生, 主要研究领域为可信 刘德田(1997-), 男, 博士生, 主要研究领域为区 计算, 区块链技术. 块链技术, 联邦学习, 信息安全.