面向联盟链的智能合约行为可信验证机制

1

作者 张建标 康双 +1 位作者 张兆乾 刘德田 《软件学报》 北大核心 2025年第10期4612-4627,共16页

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

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

在线阅读 下载PDF 职称材料

基于TPCM可信根的双体系可信终端计算架构 被引量：2

2

作者 黄坚会 张江江 +1 位作者 沈昌祥 张建标 《通信学报》 北大核心 2025年第4期1-14,共14页

冯诺依曼计算机体系由于时代局限性未能考虑到现代的安全环境,计算结构中缺少基于硬件可信根的独立防护部件。基于国家标准GB/T 40650-2021可信平台控制模块(TPCM)可信根的可信终端架构被提出。该架构采用双体系结构实现了基于可信根的... 冯诺依曼计算机体系由于时代局限性未能考虑到现代的安全环境,计算结构中缺少基于硬件可信根的独立防护部件。基于国家标准GB/T 40650-2021可信平台控制模块(TPCM)可信根的可信终端架构被提出。该架构采用双体系结构实现了基于可信根的渐进式并行可信执行环境架构,从硬件可信根芯片和底层基础软件角度出发解决终端设备源头、平台执行环境及终端设备可信管理的问题。该方法确保终端设备的TPCM可信根芯片和被测基础部件首先上电,完成对CPU执行环境可信度量,并控制CPU电源及设备初始化配置,逐步在计算机启动过程中进行可信扩散。该方法可以在保证设备本体安全可信的基础上实现可靠可信的网络应用,实现设备数据的隐私、安全保障及网络安全。 展开更多

关键词 国标GB/T 40650-2021 可信根 可信平台控制模块 态度量 可信执行环境

在线阅读 下载PDF 职称材料

云边联邦学习系统下抗投毒攻击的防御方法

3

作者 赵亚茹 张建标 +1 位作者 曹益皓 黄浩翔 《软件学报》 北大核心 2025年第9期4250-4270,共21页

随着海量数据的涌现和智能应用需求的日益增长,保障数据安全成为提高数据质量、实现数据价值的重要举措.其中,云边端架构是高效处理和优化数据的新兴技术,联邦学习(federated learning,FL)作为一个高效的去中心化的机器学习范式,能够为... 随着海量数据的涌现和智能应用需求的日益增长,保障数据安全成为提高数据质量、实现数据价值的重要举措.其中,云边端架构是高效处理和优化数据的新兴技术,联邦学习(federated learning,FL)作为一个高效的去中心化的机器学习范式,能够为数据提供隐私保护,近年来引起了学术界及工业界的广泛关注.然而,联邦学习展示出了固有的脆弱性使其易于遭受投毒攻击.现有绝大多数抵抗投毒攻击的防御方法依赖于连续更新空间,但在实际场景中面向灵活的攻击方式和攻击场景可能是欠鲁棒的.鉴于此,提出一种面向云边联邦学习系统(cloudedge FL,CEFL)抵抗投毒攻击的防御方法FedDiscrete.其关键思想是在客户端利用网络模型边的分数计算本地排名,实现离散更新空间的创建.进一步地,为了兼顾参与FL任务的客户端之间的公平性,引入贡献度指标,这样,FedDiscrete能够通过分配更新后的全局排名对可能的攻击者实施惩罚.广泛的实验结果表明所提方法在抵抗投毒攻击方面表现出显著的优势和鲁棒性,且适用于独立同分布(IID)和非独立同分布(non-IID)场景,能够为CEFL系统提供保护. 展开更多

关键词 联邦学习 投毒攻击 防御策略 离散更新空间 云边端架构

在线阅读 下载PDF 职称材料

肥料综合优化对油菜-水稻复种田土壤养分及作物产量的影响 被引量：1

4

作者 张立进 巢思琴 +6 位作者 许彬 董保华 黄国勤 张建标 吴小飞 刘懿枢 朱灵芝 《中国生态农业学报(中英文)》 北大核心 2025年第6期1128-1137,共10页

为探究长江中游油菜-水稻复种田肥料综合优化对土壤养分和作物产量的影响,选取常规施肥(CK)、减量施肥(KF)和综合优化施肥(BMP)3个处理,采用生态化学计量方法,探究优化施肥对油菜-水稻轮作田土壤氮、磷、钾含量及其与作物产量的关系。... 为探究长江中游油菜-水稻复种田肥料综合优化对土壤养分和作物产量的影响,选取常规施肥(CK)、减量施肥(KF)和综合优化施肥(BMP)3个处理,采用生态化学计量方法,探究优化施肥对油菜-水稻轮作田土壤氮、磷、钾含量及其与作物产量的关系。结果表明:2018—2022年,与CK处理相比,BMP处理土壤有机碳、全氮和全磷含量分别提高5.77%~16.81%、1.73%~6.36%(除2019年)和6.84%~19.44%(P<0.05)。不同处理下土壤C∶N为10.12~22.21,C∶P为12.47~22.45,N∶P为1.01~1.39;与CK处理相比,BMP处理土壤C∶N有所提高,N∶P有所降低,KF处理降低了土壤C∶N(除2021年)和N∶P(除2018年和2022年);BMP处理的C∶N最高,且随着时间推移其与CK处理的差异呈减小趋势。2018—2022年,与CK处理相比,BMP处理的油菜产量增加4.49%~26.78%,且BMP处理油菜产量随还田年限增加呈增加趋势,CK和KF处理呈先减少后增加的趋势;2018—2022年,CK和BMP处理水稻产量呈增加趋势,2020—2021年KF处理水稻产量出现小幅下降。随着时间推移,各处理油菜和水稻的氮、磷、钾边际产量均呈增加趋势,且油菜增产效果优于水稻。相关性分析表明:油菜和水稻产量与土壤全氮、全磷含量呈显著或极显著正相关(P<0.05或P<0.01),土壤养分与化学计量特征大部分呈显著相关,年均气温与土壤养分和化学计量特征呈显著相关。综上所述,有机肥还田提高了土壤保肥、供肥和缓冲能力,可以持续供给作物生长需要的养分,不仅改善了土壤结构,还提高了作物产量,综合优化施肥是优化油菜-水稻轮作农田养分管理的最优模式。 展开更多

关键词 油菜-水稻复种 施肥模式 土壤养分 作物产量

在线阅读 下载PDF 职称材料

校园网络安全运行架构研究 被引量：11

5

作者 张建标 赖英旭 +1 位作者 秦华 张书杰 《计算机工程与设计》 CSCD 北大核心 2007年第20期4878-4880,4884,共4页

校园网络具有的联网设备品牌多、用户数量大、用户可控性差、安全事件发生频繁等特点,大大增加了网络管理的复杂性。从用户接入控制、网络运行状态监测、安全事件追查和策略控制等方面入手,提出了一个保障校园网络安全运行的架构,并已... 校园网络具有的联网设备品牌多、用户数量大、用户可控性差、安全事件发生频繁等特点,大大增加了网络管理的复杂性。从用户接入控制、网络运行状态监测、安全事件追查和策略控制等方面入手,提出了一个保障校园网络安全运行的架构,并已应用于网络管理中,提高了网络管理效率,增强了校园网络的可用性和可控性。 展开更多

关键词 安全客户端 网络运行状态监测 网络流 事件追踪 策略控制

在线阅读 下载PDF 职称材料

一种可用于溶解氧测定的光纤氧传感器 被引量：21

6

作者 张建标 陈兴 +1 位作者 黄俊 姜德生 《传感器技术》 CSCD 北大核心 2002年第10期4-7,共4页

用Ru(bpy) 3 Cl2 为指示剂 ,研制一种能用来测定溶解氧的光纤氧传感器。该传感器的响应时间小于 30s ,检测下限为 0 .5mg/L ,检测准确度为 0 .0 1mg/L ,并具有较强的抗干扰能力、较好的重复性和稳定性 ,可用于对环境水质的在线监测。

关键词 光纤氧传感器 水质监测 锁相放大 荧光猝灭 溶解氧

在线阅读 下载PDF 职称材料

主动免疫可信计算综述 被引量：4

7

作者 张建标 黄浩翔 胡俊 《中兴通讯技术》 2022年第6期12-16,共5页

对主动免疫可信计算的基本思想及特征进行了重点阐述,并从标准体系、解决方案及产业发展3个方面对主动免疫可信计算进行详细介绍。认为随着等级保护2.0标准的实施,主动免疫可信计算技术已在保障重要信息系统的安全可信中发挥了重要的作用。

关键词 可信计算 主动免疫 主动防御 双体系结构 网络安全

在线阅读 下载PDF 职称材料

一种可信P2P网络安全模型 被引量：2

8

作者 张建标 刘辰 《北京工业大学学报》 EI CAS CSCD 北大核心 2008年第9期1005-1008,共4页

对等网络(Peer-to-Peer,简称P2P)在广泛应用的同时,安全问题也日渐突出.针对P2P应用的潜在安全风险,基于中心化拓扑的P2P网络结构,结合可信度评测、授权、验证和加密等安全机制,提出了一种基于中心化拓扑的可信P2P网络安全模型,能较好... 对等网络(Peer-to-Peer,简称P2P)在广泛应用的同时,安全问题也日渐突出.针对P2P应用的潜在安全风险,基于中心化拓扑的P2P网络结构,结合可信度评测、授权、验证和加密等安全机制,提出了一种基于中心化拓扑的可信P2P网络安全模型,能较好地保证P2P网络的安全可控性,为P2P网络的进一步应用奠定基础. 展开更多

关键词 对等网络 可信 验证

在线阅读 下载PDF 职称材料

CORBA与EJB3.0的集成应用研究 被引量：1

9

作者 张建标 张国明 施光源 《北京工业大学学报》 EI CAS CSCD 北大核心 2009年第3期424-428,共5页

简要介绍了分布式中间件技术CORBA和EJB3.0,提出了基于RMI-IIOP和CORBA桥的2种CORBA访问EJB3.0组件的方法,并与基于Web Service的集成技术做了简要对比.最后,基于CORBA与EJB的集成技术设计了税控商业自动化管理系统的分布式架构方案.

关键词 中间件 分布式系统 系统集成

在线阅读 下载PDF 职称材料

Web Cache在IPTV系统中的应用 被引量：1

10

作者 张建标 林涛 《计算机工程》 CAS CSCD 北大核心 2007年第9期240-242,共3页

电信级IPTV系统向用户提供丰富的节目的同时也要考虑提高系统自身的性能。该文描述了IPTV系统架构与现有的WebCache技术,通过对测试数据的分析找到影响EPG性能的瓶颈。分析了IPTV系统的特点,提出了一种适合IPTV系统的Webcache架构EPG_Ca... 电信级IPTV系统向用户提供丰富的节目的同时也要考虑提高系统自身的性能。该文描述了IPTV系统架构与现有的WebCache技术,通过对测试数据的分析找到影响EPG性能的瓶颈。分析了IPTV系统的特点,提出了一种适合IPTV系统的Webcache架构EPG_Cache,EPG_Cache通过提供缓存部分数据的方法提高EPG的响应速度。 展开更多

关键词 Webcache IPTV EPG 性能

在线阅读 下载PDF 职称材料

特定P2P网络的主动测量研究

11

作者 张建标 廖超 郜文彬 《计算机应用研究》 CSCD 北大核心 2008年第11期3415-3418,共4页

为了实现信息可控的安全网络环境,需要对特定的P2P应用系统进行测量与分析。测量的出发点在于寻找协议的主导节点或服务节点,在一定意义上是该应用协议可能存在的瓶颈。选取BitTorrent、Skype和Tor分别作为这三类不同的P2P应用系统的代... 为了实现信息可控的安全网络环境,需要对特定的P2P应用系统进行测量与分析。测量的出发点在于寻找协议的主导节点或服务节点,在一定意义上是该应用协议可能存在的瓶颈。选取BitTorrent、Skype和Tor分别作为这三类不同的P2P应用系统的代表,分析其协议特性,并对它们的覆盖网络进行主动测量,最终得到互联网上协议主导节点的总量及分布情况,以便于进一步的监管分析。 展开更多

关键词 对等网络 主动测量 BITTORRENT SKYPE TOR

在线阅读 下载PDF 职称材料

一种基于区块链的域间访问控制模型 被引量：29

12

作者 张建标 张兆乾 +1 位作者 徐万山 吴娜 《软件学报》 EI CSCD 北大核心 2021年第5期1547-1564,共18页

云计算、物联网和移动互联网等新型计算模式的出现,使得域间相互访问以及数据共享的需求不断扩大,而目前“中心化”的传统访问控制技术所显现出的访问控制策略执行不透明、动态数据管理不灵活、资源拥有者自主性差,使其难以满足海量、... 云计算、物联网和移动互联网等新型计算模式的出现,使得域间相互访问以及数据共享的需求不断扩大,而目前“中心化”的传统访问控制技术所显现出的访问控制策略执行不透明、动态数据管理不灵活、资源拥有者自主性差,使其难以满足海量、动态和分布的新型计算模式.提出了一种以ABAC模型为基础、以区块链为交互方式的域间访问控制模型.介绍了ABAC模型和区块链的技术原理、特点、研究现状,详细阐述了模型框架,对ABAC模型进行了形式化定义;同时,对模型中的智能合约进行了具体描述,给出了本模型在具体场景中的应用和具体的访问控制流程;最后对比了现有的研究方案.该模型可以为域间访问提供标准化的安全、便捷、自主且细粒度的访问控制. 展开更多

关键词 区块链 ABAC 跨域 访问控制 数据共享

在线阅读 下载PDF 职称材料

装配顺序规划中的子装配体稳定性 被引量：4

13

作者 张建标 魏生民 杨彭基 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 1999年第4期289-292,共4页

介绍了子装配体内部运动自由度的概念及计算方法，给出了基于内部运动自由度的子装配体稳定性判别条件，且具有一定的通用性。经稳定性判别后可以大大缩小装配顺序规划中的方案数，可用于装配方案的选择及降低装配成本。

关键词 稳定性 割集法 装配顺序规划 子装配体

在线阅读 下载PDF 职称材料

高性能荧光猝灭式光纤氧传感器 被引量：9

14

作者 黄俊 张建标 +1 位作者 姜德生 王立新 《传感器技术》 CSCD 北大核心 2001年第3期9-11,共3页

用钌两价正离子 (Ru2 + )—邻菲咯啉配合物为指示剂 ,研制了一种基于荧光猝灭原理的光纤氧传感器。采用锁相放大技术 ,实现了对弱荧光信号的检测。该传感器具有较高的检测精度、较强的抗干扰能力。

关键词 光纤氧传感器 荧光猝灭 相位滞后 锁相放大

在线阅读 下载PDF 职称材料

大规模应用P2P网络的特定资源搜索模型 被引量：3

15

作者 毛军鹏 崔艳莉 +1 位作者 黄建华 张建标 《计算机工程》 CAS CSCD 北大核心 2009年第12期95-96,99,共3页

Peer分布的广泛性、行为的动态性、传输的隐匿性以及P2P应用会引起网络环境的变化导致传统网络监控方法无法对P2P应用进行有效监控。针对上述问题,通过分析主流P2P应用,给出当前大规模应用的P2P网络抽象模型及其特征,针对该模型研究特... Peer分布的广泛性、行为的动态性、传输的隐匿性以及P2P应用会引起网络环境的变化导致传统网络监控方法无法对P2P应用进行有效监控。针对上述问题,通过分析主流P2P应用,给出当前大规模应用的P2P网络抽象模型及其特征,针对该模型研究特定资源的搜索模型及其算法,建立P2P网络监控体系,实现网络的监控问题。 展开更多

关键词 P2P网络 内容监控 搜索模型

在线阅读 下载PDF 职称材料

可信计算领域中可信证明的研究与进展 被引量：9

16

作者 施光源 张建标 《计算机应用研究》 CSCD 北大核心 2011年第12期4414-4419,共6页

可信证明技术是可信计算中非常重要的特性,利用可信证明技术能够验证计算环境是否具备可信性,从而能够为在网络环境中建立信任关系提供依据。针对可信证明研究现状进行深入探讨,明确给出发展趋势;对现有证明方法所存在的问题分析研究,... 可信证明技术是可信计算中非常重要的特性,利用可信证明技术能够验证计算环境是否具备可信性,从而能够为在网络环境中建立信任关系提供依据。针对可信证明研究现状进行深入探讨,明确给出发展趋势;对现有证明方法所存在的问题分析研究,总结出证明方法存在着证据获取不及时、缺乏对于证明对象的隐私保护以及证明方法自身安全性等问题;给出可信证明的形式化描述,并且从证明对象、证明时机等多个角度对证明方法进行分析,最后给出了解决可信证明所存在问题的建议。上述工作对于可信证明的研究以及方法设计都提供了有益的参考。 展开更多

关键词 可信计算 可信证明 威胁

在线阅读 下载PDF 职称材料

基于Web的普通给据邮件查询系统的设计与实现 被引量：2

17

作者 肖创柏 张建标 +1 位作者 赵岫枫 向和平 《计算机工程》 CAS CSCD 北大核心 2003年第19期112-113,141,共3页

利用邮政综合计算机网、基于Web技术实现了普通给据邮件查询系统。系统具有分布性、开放性、易操作性、易维护性以及性能稳定和效率高等特点。系统的成功应用提高了企业服务质量和经济效益。文章介绍了系统的业务需求、功能模块、系统... 利用邮政综合计算机网、基于Web技术实现了普通给据邮件查询系统。系统具有分布性、开放性、易操作性、易维护性以及性能稳定和效率高等特点。系统的成功应用提高了企业服务质量和经济效益。文章介绍了系统的业务需求、功能模块、系统结构、关键技术和特点。 展开更多

关键词 WEB技术 给据邮件 查询系统

在线阅读 下载PDF 职称材料

邮政电子汇兑系统的设计与实现 被引量：1

18

作者 肖创柏 张建标 +1 位作者 金蓓蓓 曹培 《计算机应用》 CSCD 北大核心 2003年第z1期88-89,91,共3页

简要介绍了电子汇兑系统的基本框架 ,分析了主机 -终端模式在应用中存在的问题 ,指出了电子汇兑系统与电子化支局系统整合的必要性 ,讨论了两系统整合的基本原则和技术关键点 ,基于邮政综合计算机网 ,利用Tuxedo通信软件和Oracle数据库... 简要介绍了电子汇兑系统的基本框架 ,分析了主机 -终端模式在应用中存在的问题 ,指出了电子汇兑系统与电子化支局系统整合的必要性 ,讨论了两系统整合的基本原则和技术关键点 ,基于邮政综合计算机网 ,利用Tuxedo通信软件和Oracle数据库实现了系统整合 。 展开更多

关键词 邮政 电子汇兑 ORACLE TUXEDO

在线阅读 下载PDF 职称材料

P2P网络资源负载模型研究 被引量：1

19

作者 毛军鹏 崔艳莉 +1 位作者 黄建华 张建标 《小型微型计算机系统》 CSCD 北大核心 2010年第2期215-219,共5页

P2P负载占据大量的Internet带宽,对骨干网络造成很大威胁.为了掌握P2P负载量的生产机制,管理P2P流量,通过分析P2P协议,建立P2P网络排队模型和P2P资源负载模型;通过仿真实验,分析相关因素对资源负载量的影响.发现:节点平均度和搜索协议TT... P2P负载占据大量的Internet带宽,对骨干网络造成很大威胁.为了掌握P2P负载量的生产机制,管理P2P流量,通过分析P2P协议,建立P2P网络排队模型和P2P资源负载模型;通过仿真实验,分析相关因素对资源负载量的影响.发现:节点平均度和搜索协议TTL值,特别是TTL值,对具体资源的负载量影响最大;资源负载量随节点规模、资源初始数量、资源总量而增长,但当这些因素数量达到一定规模时,其数量的变化对资源负载的影响明显变小. 展开更多

关键词 对等网络 P2P流量 资源负载量 负载模型

在线阅读 下载PDF 职称材料

基于集合覆盖的Wp方法测试集约简方法 被引量：1

20

作者 崔玲 张建标 +1 位作者 公备 吴丽影 《北京工业大学学报》 CAS CSCD 北大核心 2016年第9期1332-1337,共6页

为了提高测试效率,提出一种基于集合覆盖的测试集约简方法.该方法对有限状态机(finite state machine,FSM)模型中经典的测试生成算法Wp方法(部分W方法)所生成的测试集进行冗余约简.通过分析Wp方法的特点,找出测试序列之间包含关系的规律... 为了提高测试效率,提出一种基于集合覆盖的测试集约简方法.该方法对有限状态机(finite state machine,FSM)模型中经典的测试生成算法Wp方法(部分W方法)所生成的测试集进行冗余约简.通过分析Wp方法的特点,找出测试序列之间包含关系的规律,删除冗余的测试用例.理论分析和实验结果表明:该方法能够有效约简测试集,并且不改变故障检测能力. 展开更多

关键词 有限状态机(FSM) Wp方法 集合覆盖 约简

在线阅读 下载PDF 职称材料