DoTI:面向数据业务的TEE融合技术研究

1

作者 马承彦 卢笛 +3 位作者 马鑫迪 习宁 王锦锦 马建峰 《通信学报》 北大核心 2025年第2期18-28,共11页

协同平台面临系统和数据安全的挑战,可信执行环境(TEE)通过硬件隔离技术实现基于明文的机密计算,确保代码和数据的机密性与完整性。然而,异构的TEE技术使得同一份代码或程序无法直接在不同TEE架构中直接运行并相互提供可信的数据操作接... 协同平台面临系统和数据安全的挑战,可信执行环境(TEE)通过硬件隔离技术实现基于明文的机密计算,确保代码和数据的机密性与完整性。然而,异构的TEE技术使得同一份代码或程序无法直接在不同TEE架构中直接运行并相互提供可信的数据操作接口,导致跨TEE场景下任务协同执行的安全问题。为了解决上述问题,提出一种基于数据操纵语言的TEE融合技术DoTI,从数据处理的业务层解决跨TEE的数据安全交互问题,并结合基于属性加密的密码学方法保持多TEE协同的隔离性。实验结果表明,在DoTI环境下迁移至TEE的数据库性能约为原始数据库的119.15%,且网络通信能力优于现有方案,能够满足协同平台数据共享的可用性和安全性要求。 展开更多

关键词 协同平台 可信执行环境 数据操纵语言 基于属性的加密

在线阅读 下载PDF 职称材料

基于模型检测的服务链信息流安全可组合验证方法 被引量：3

2

作者 习宁 马建峰 +2 位作者 孙聪 卢笛 张涛 《通信学报》 EI CSCD 北大核心 2014年第11期23-31,共9页

提出了一种可组合的服务链信息流安全验证方法。在保证单一组件信息流安全的基础上,给出相邻组件可组合的信息流安全条件和验证算法。实验和仿真结果表明,相比传统模型检测方法,所提的可组合验证算法能够有效减小验证开销,提高验证效率。

关键词 模型检测 服务链 信息流安全 可组合

在线阅读 下载PDF 职称材料

多种群果蝇优化算法求解自动化仓库拣选作业调度问题

3

作者 习宁 韩虎 《兰州交通大学学报》 CAS 2014年第3期108-113,共6页

针对自动化仓库的拣选作业调度问题，提出了一种多种群果蝇优化算法。采用随机键编码方式，利用味道浓度判定值的大小次序来映射调度解。通过同时学习子种群的局部最优和全局最优个体，实现对果蝇个体的更新计算。为了避免陷入局部最优... 针对自动化仓库的拣选作业调度问题，提出了一种多种群果蝇优化算法。采用随机键编码方式，利用味道浓度判定值的大小次序来映射调度解。通过同时学习子种群的局部最优和全局最优个体，实现对果蝇个体的更新计算。为了避免陷入局部最优，采用了一种果蝇个体变异机制。计算结果显示，多种群果蝇优化算法在计算精度和收敛效率方面要好于基本果蝇优化算法，并且搜索过程能够有效跳出局部最优。 展开更多

关键词 自动化仓库 拣选作业 调度 多种群 果蝇优化算法

在线阅读 下载PDF 职称材料

面向服务移动社交网络中基于信任的分布式服务组合方法 被引量：11

4

作者 张涛 马建峰 +2 位作者 习宁 刘西蒙 熊金波 《电子学报》 EI CAS CSCD 北大核心 2016年第2期258-267,共10页

针对服务不透明性、信任需求主观性及移动参与者连接机会性对面向服务移动社交网络中可信服务组合带来的问题,提出基于信任的分布式服务组合方法.该方法基于格模型建立分布式服务信任评估框架,分别在组件和组合级评估服务信任度以避免... 针对服务不透明性、信任需求主观性及移动参与者连接机会性对面向服务移动社交网络中可信服务组合带来的问题,提出基于信任的分布式服务组合方法.该方法基于格模型建立分布式服务信任评估框架,分别在组件和组合级评估服务信任度以避免不可信的数据传输;通过分析服务依赖关系,实现满足全局和局部信任约束可信服务选择;基于蒙特卡洛方法建立可信路径选择、优化和容错算法传输服务评估调用信息.实验结果表明所提方法在服务评估开销低,在路径选择成功率和信任度高,是适应面向服务移动社交网络的服务组合方法. 展开更多

关键词 信任 分布式服务评估 路径选择 服务组合 面向服务的移动社交网络

在线阅读 下载PDF 职称材料

云计算下保障公平性的多资源分配算法 被引量：14

5

作者 卢笛 马建峰 +3 位作者 王一川 习宁 张留美 孟宪佳 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2014年第3期162-168,共7页

针对云计算平台多资源分配公平性问题,文中在DRF算法基础上,提出了云计算动态资源需求公平分配模型,并提出了基于信誉因子的增强公平性分配算法.算法引入信誉因子,对云中计算节点资源使用情况进行实时评估,对恶意长时间侵占资源行为进... 针对云计算平台多资源分配公平性问题,文中在DRF算法基础上,提出了云计算动态资源需求公平分配模型,并提出了基于信誉因子的增强公平性分配算法.算法引入信誉因子,对云中计算节点资源使用情况进行实时评估,对恶意长时间侵占资源行为进行惩罚性分配,刺激节点在任务结束后释放占用资源,确保了平台中其他节点资源配额不受影响.与现有方案相比,基于信誉的增强公平性分配算法在保证分配公平的前提下,增强了对公平性的保障,有效地确保了云计算平台资源调度的公平性、可靠性. 展开更多

关键词 云计算 资源分配 公平性

在线阅读 下载PDF 职称材料

CF_2HCl分子在红外多光子解离时分子间的能量传递过程 被引量：1

6

作者 习宁 顾镇南 《物理化学学报》 SCIE CAS CSCD 北大核心 1989年第4期388-391,共4页

分子在强红外激光照射下可以吸收几十个红外光子而解离,目前人们已经对这一现象进行了广泛的研研。其中研究较多的分子有SF_6、CF_3I、CF_2HCl等。由于CF_2HCl分子在红外激光照射时解离过程比较简单,而且也是一个激光分离碳-13同位素有... 分子在强红外激光照射下可以吸收几十个红外光子而解离,目前人们已经对这一现象进行了广泛的研研。其中研究较多的分子有SF_6、CF_3I、CF_2HCl等。由于CF_2HCl分子在红外激光照射时解离过程比较简单,而且也是一个激光分离碳-13同位素有前途的工作介质,人们对CF_2HCl分子的红外多光子解离规律做了较深入的研究。Y.T.Lee等利用分子束的方法研研了CF_2HCl分子在红外多光子解离时的机制。J.C.Stephenson等以及R.D.Duperrex等测定了CF_2HCl分子在无碰撞条件下的瞬时解离规律。 展开更多

关键词 CF2HC1 红外光子解离 能量传递

在线阅读 下载PDF 职称材料

面向云计算环境的动态公平性度量方法 被引量：1

7

作者 卢笛 马建峰 +2 位作者 王一川 习宁 孟宪佳 《通信学报》 EI CSCD 北大核心 2014年第7期140-150,共11页

针对云计算环境资源动态性特点,给出了一种资源分配算法公平性动态度量模型——DFE(dynamic fairness evaluation)。模型引入了公平、效率和时间参数,通过将资源分配结果进行量化处理,定量地描述不同分配算法的公平性。首先考虑了云环... 针对云计算环境资源动态性特点,给出了一种资源分配算法公平性动态度量模型——DFE(dynamic fairness evaluation)。模型引入了公平、效率和时间参数,通过将资源分配结果进行量化处理,定量地描述不同分配算法的公平性。首先考虑了云环境下的2种典型动态因素:节点资源需求动态变化和虚拟节点动态变化,并分别对这2种场景建立子模型,通过这2种模型导出了DFE。分析了2种子模型以及DFE,通过DFE对几种典型资源分配算法进行度量,验证了在资源需求以及虚拟节点动态变化的情况下,DFE能够有效度量分配算法公平性。 展开更多

关键词 资源分配 公平性评估 云计算

在线阅读 下载PDF 职称材料

服务组合中保障公平性的信誉传播算法

8

作者 张涛 马建峰 +2 位作者 莫若 李琦 习宁 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2016年第2期70-76,共7页

在面向服务的环境中,服务的不透明性、组合结构的复杂性以及用户评价的主观性使得用户难以对组件服务进行有效的信誉评估.针对此问题,提出适用于服务组合的信誉传播算法,将复合服务的信誉评估值公平地传播到各个组件服务.首先,将复合服... 在面向服务的环境中,服务的不透明性、组合结构的复杂性以及用户评价的主观性使得用户难以对组件服务进行有效的信誉评估.针对此问题,提出适用于服务组合的信誉传播算法,将复合服务的信誉评估值公平地传播到各个组件服务.首先,将复合服务建模为Beta混合模型,通过最大期望算法学习复合服务中各个组件的责任及信誉度.其次,基于Shapley值的合作博弈模型计算各个组件服务对复合服务的贡献度,确保所组合的各个服务不会受到额外的奖励或惩罚.最后,理论分析与实验结果表明该算法在保证公平性的前提下,能够正确地将用户提交的信誉评估层次化传播到各个组件服务. 展开更多

关键词 面向服务的架构 服务组合 WEB服务 信誉传播 公平性

在线阅读 下载PDF 职称材料

基于反演法的高填土软土地基沉降预测

9

作者 习宁 周健 《低温建筑技术》 2011年第1期105-106,共2页

通过改进太沙基一维固结理论建立计算最终沉降量的反演计算模型,结合某植物园沉降实测资料,采用反演计算模型,确定各土层的压缩模量和固结系数,将理论计算模型与实测结果进行比较,验证反演计算理论模型的合理性和可靠性,对今后其它类似... 通过改进太沙基一维固结理论建立计算最终沉降量的反演计算模型,结合某植物园沉降实测资料,采用反演计算模型,确定各土层的压缩模量和固结系数,将理论计算模型与实测结果进行比较,验证反演计算理论模型的合理性和可靠性,对今后其它类似工程的设计和施工有很大的参考价值和指导意义。 展开更多

关键词 高填方 软土地基 反演分析 沉降预测

在线阅读 下载PDF 职称材料

堆载预压加固软土地基的沉降计算分析

10

作者 郭聪灵 习宁 《低温建筑技术》 2011年第2期93-95,共3页

某海塘拟修筑道路,采用堆载预压法对地基进行加固处理。运用砂井固结理论及太沙基一维固结理论,对海塘拟修筑道路的沉降进行计算分析,推算地基的最终沉降量及沉降稳定时间,并确定工后沉降,判断其是否超过容许的范围,以便进行地基变形设... 某海塘拟修筑道路,采用堆载预压法对地基进行加固处理。运用砂井固结理论及太沙基一维固结理论,对海塘拟修筑道路的沉降进行计算分析,推算地基的最终沉降量及沉降稳定时间,并确定工后沉降,判断其是否超过容许的范围,以便进行地基变形设计。这对实际工程具有现实的指导意义,可保证工程施工安全、稳定、有效地进行。 展开更多

关键词 堆载预压 砂井固结理论 太沙基一维固结理论 沉降

在线阅读 下载PDF 职称材料

抗属性篡改的去中心化密文数据安全共享 被引量：11

11

作者 曾辉祥 习宁 +3 位作者 谢晴晴 吕静 崔志浩 马建峰 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2022年第2期135-145,共11页

智能设备间的相互协同丰富了智能家居的各类应用,而设备间信息交互与共享使得用户的数据面临着窃取及篡改的安全威胁。基于密文策略的属性加密机制(CP-ABE),在对云服务商保密的同时实现了云端跨用户、设备的数据安全共享。但是,智能设... 智能设备间的相互协同丰富了智能家居的各类应用,而设备间信息交互与共享使得用户的数据面临着窃取及篡改的安全威胁。基于密文策略的属性加密机制(CP-ABE),在对云服务商保密的同时实现了云端跨用户、设备的数据安全共享。但是,智能设备资源受限以及属性管理服务器单点失效的风险给传统的密文数据安全共享方法带来了严峻的挑战。为此,基于区块链和可验证外包解密技术,提出了一种基于区块链的去中心化的密文数据安全共享方案。该方法以属性中心为节点构建联盟链网络,通过区块链记录属性与密文信息,实现了用户属性的去中心化管理,保障了访问属性的不可篡改性。在此基础上,结合外包解密CP-ABE技术,减少了智能设备的计算量,提高了共享的效率。实验及分析结果表明,该方案在保证数据共享安全性的同时,能够有效降低智能设备的计算开销。 展开更多

关键词 智能家居 数据共享 区块链 访问控制 密文策略属性基加密

在线阅读 下载PDF 职称材料