期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
可信连接架构的形式化验证
1
作者 王勇 易翔 +1 位作者 李凯 刘美林 《计算机科学》 CSCD 北大核心 2012年第S3期230-233,共4页
可信连接架构作为我国在可信网络方面的解决方案,规范了具有可信平台控制模块的终端接入可信网络所涉及的实体、实体之间的信息交互接口以及交互行为。在抽象可信连接架构中实体之间信息交互行为的基础上,给出了各个实体状态的进程代数... 可信连接架构作为我国在可信网络方面的解决方案,规范了具有可信平台控制模块的终端接入可信网络所涉及的实体、实体之间的信息交互接口以及交互行为。在抽象可信连接架构中实体之间信息交互行为的基础上,给出了各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证,验证的结果表明,可信连接架构具有期望的外部行为。 展开更多
关键词 可信计算 可信网络 可信连接架构 形式化验证 进程代数
下载PDF
基于TCP/IP协议的信号集中监测与CTCS-3级列控系统各子系统连接架构分析 被引量:2
2
作者 刘人鹏 汪涛 《铁道通信信号》 2010年第5期20-23,54,共5页
CTCS-3级列控系统是多子系统高度集成化的列车运行控制系统,其各个子系统需要运转协调才能确保整体系统有序平稳地工作,而各子系统间无缝合理的连接架构无疑是各子系统实时交互通信的重要保证。着重解析信号集中监测子系统与其他各子系... CTCS-3级列控系统是多子系统高度集成化的列车运行控制系统,其各个子系统需要运转协调才能确保整体系统有序平稳地工作,而各子系统间无缝合理的连接架构无疑是各子系统实时交互通信的重要保证。着重解析信号集中监测子系统与其他各子系统的网络连接架构,从而完成对各子系统信息的集中监测,为用户提供及时迅捷的问题解决方案。 展开更多
关键词 信号集中监测 子系统 连接架构 超时检测
下载PDF
基于Petri网的可信连接架构的安全属性分析
3
作者 任兴田 《高技术通讯》 CAS CSCD 北大核心 2012年第8期812-818,共7页
为确保可信连接架构(TCA)自身的安全可靠,研究了其安全属性量化问题,分析了其双向用户身份认证和平台认证过程中存在的安全威胁。利用随机Petri网对带有攻击行为的TCA可信网络连接过程进行了建模,该模型用于描述攻击行为和TCA的双... 为确保可信连接架构(TCA)自身的安全可靠,研究了其安全属性量化问题,分析了其双向用户身份认证和平台认证过程中存在的安全威胁。利用随机Petri网对带有攻击行为的TCA可信网络连接过程进行了建模,该模型用于描述攻击行为和TCA的双向认证过程。以该模型为基础构造了马尔科夫链,通过计算马尔科夫模型的稳定状态概率对TCA的稳定状态机密性和完整性等安全属性进行定量分析。最后给出了一个具体数值评估结果的实例。此研究给出的方法有理论和实用意义。 展开更多
关键词 可信计算 可信连接架构(TCA) 安全属性 定量分析 随机PETRI网
下载PDF
可信网络连接架构TCA的实现及其应用 被引量:7
4
作者 李明 李琴 +1 位作者 张国强 颜湘 《信息安全研究》 2017年第4期332-338,共7页
随着计算机网络的深度应用,最突出的威胁是:恶意代码攻击、信息非法窃取、数据和系统非法破坏,其中以用户秘密信息为目标的恶意代码攻击超过传统病毒成为最大安全威胁,这些安全威胁的根源在于缺乏体系架构层次的计算机的恶意代码攻击免... 随着计算机网络的深度应用,最突出的威胁是:恶意代码攻击、信息非法窃取、数据和系统非法破坏,其中以用户秘密信息为目标的恶意代码攻击超过传统病毒成为最大安全威胁,这些安全威胁的根源在于缺乏体系架构层次的计算机的恶意代码攻击免疫机制,导致无法实现计算网络平台安全、可信赖地运行.可信网络连接是在此背景下提出的一种技术理念,它通过建立一种特定的完整性度量机制,使网络接入时不仅对用户的身份进行鉴别,还可提供对平台鉴别,就是基于平台完整性评估,具备对不可信平台的程序代码建立有效的防治方法和措施.根据我国已有的可信网络连接国家标准,给出可信连接架构TCA的实现及其相关的支撑技术,最后探讨了可信连接架构TCA技术的应用范围. 展开更多
关键词 可信计算 可信网络连接 平台鉴别 完整性度量 三元对等实体鉴别 可信连接架构
下载PDF
基于区块链的分布式可信网络连接架构研究
5
作者 任骏菲 《中国市场》 2019年第30期194-194,196,共2页
人们通信需求的变化及对通信质量要求的升高使得通信网络连接结构逐渐引起人们的重视。文章针对传统可信计算组织可信连接结构的访问控制问题、信任模型问题进行分析;并以改善通信质量为目标,从基础框架设置方面、区块链系统方面、接口... 人们通信需求的变化及对通信质量要求的升高使得通信网络连接结构逐渐引起人们的重视。文章针对传统可信计算组织可信连接结构的访问控制问题、信任模型问题进行分析;并以改善通信质量为目标,从基础框架设置方面、区块链系统方面、接口与层次方面,阐述基于区块链的分布式可信网络连接架构,以期为分布式可信网络连接架构的建设提供良好的理论支持。 展开更多
关键词 区块链 分布式可信网络连接架构 通信安全
下载PDF
子连接有源可重构智能表面辅助的宽带无蜂窝网络能效优化 被引量:1
6
作者 孙钢灿 王硕 +1 位作者 宁冰 郝万明 《通信学报》 EI CSCD 北大核心 2024年第2期127-136,共10页
面对无蜂窝网络中超密集基站部署产生的高功耗问题,提出了一种基于子连接有源可重构智能表面辅助的宽带无蜂窝网络系统。考虑有源智能超表面最大功率约束、放大因子约束和基站端最大功率约束,构建了一个联合基站和可重构智能表面波束优... 面对无蜂窝网络中超密集基站部署产生的高功耗问题,提出了一种基于子连接有源可重构智能表面辅助的宽带无蜂窝网络系统。考虑有源智能超表面最大功率约束、放大因子约束和基站端最大功率约束,构建了一个联合基站和可重构智能表面波束优化的能效最大化问题。由于所形成的优化问题非凸,提出了一种交替优化方案将原问题转化为多个子问题,进而利用块坐标下降、拉格朗日对偶变换、多维复二次变换等方法将每个子问题转化为凸优化问题,通过交替求解每个子问题最终获得原问题的解。仿真结果验证了所提方案的有效性。 展开更多
关键词 有源可重构智能表面 连接架构 无蜂窝网络 宽带 能效
下载PDF
基于OPC UA的分布式数据采集处理系统架构研究
7
作者 扈静 柏晨 +1 位作者 张玺 葛茂根 《合肥工业大学学报(自然科学版)》 CAS 北大核心 2024年第8期1028-1034,共7页
随着物联网与互联网融合的不断深化,感知层与应用层之间的互联互通要求不断提高。针对现有数据采集系统存在的规范性、扩展性和适应性不足的问题,文章提出一套基于对象连接与嵌入过程控制统一架构(object linking and embedding for pro... 随着物联网与互联网融合的不断深化,感知层与应用层之间的互联互通要求不断提高。针对现有数据采集系统存在的规范性、扩展性和适应性不足的问题,文章提出一套基于对象连接与嵌入过程控制统一架构(object linking and embedding for process control unified architecture,OPC UA)协议的分布式数据采集处理系统架构。对数据采集处理系统各个模块进行功能解耦和架构重组,分别介绍该系统硬件和软件架构;针对发布订阅模式下负载的特异性,提出一种改进的适用于OPC UA分布式订阅的负载均衡算法;最后在某车企实例验证该系统架构。结果表明,基于OPC UA的分布式数据采集处理系统数据采集处理效果良好,证明了该系统架构的可行性及有效性。 展开更多
关键词 系统架构 分布式 基于对象连接与嵌入过程控制统一架构(OPC UA)协议 负载均衡
下载PDF
一种网络间可信连接协议 被引量:4
8
作者 赖英旭 刘岩 刘静 《软件学报》 EI CSCD 北大核心 2019年第12期3730-3749,共20页
为了解决深化“互联网+先进制造业”进程中网络可信互连问题,引入了可信连接架构(trusted connect architecture,简称TCA)技术.基于TCA技术思想,针对网络间可信认证需求,设计了一种支持网络间互连的可信连接协议(TCA-SNI).引入了网络间... 为了解决深化“互联网+先进制造业”进程中网络可信互连问题,引入了可信连接架构(trusted connect architecture,简称TCA)技术.基于TCA技术思想,针对网络间可信认证需求,设计了一种支持网络间互连的可信连接协议(TCA-SNI).引入了网络间双向认证过程,给出了TCA-SNI协议的交互过程;使用扩展的SVO逻辑系统对协议进行逻辑推理,证明该协议是安全可靠的;使用Dolev-Yao攻击者模型对协议进行攻击测试,实验结果表明,协议的安全目标均已达成,证明该协议可以抵御真实网络中的攻击. 展开更多
关键词 可信连接架构 可信计算 可信连接协议 SVO AVISPA
下载PDF
ISO/IEC JTC1/SC27云安全标准研究项目及我国提案分析
9
作者 王惠莅 闵京华 张立武 《信息技术与标准化》 2015年第7期49-52,共4页
分析了ISO/IEC JTC1/SC27新工作项目《云和新数据相关技术的风险管理》和《云安全用例和潜在的标准差距》,以及我国提交的云计算安全贡献《云服务可信连接架构》和《云平台虚拟信任根技术架构》的主要内容。
关键词 云计算安全 风险管理 可信连接架构 虚拟信任根
下载PDF
面向业务过程的企业应用集成方法 被引量:4
10
作者 姜洪溪 谢模轩 《计算机工程与应用》 CSCD 北大核心 2003年第19期214-216,共3页
业务过程集成是企业应用集成的核心,文章根据企业业务过程集成的需要提出了面向业务过程的企业应用集成方法。并根据在业务过程集成中业务过程逻辑与应用过程逻辑相分离的原则,以J2EE应用服务器为集成平台通过利用JMS消息传递机制和基于... 业务过程集成是企业应用集成的核心,文章根据企业业务过程集成的需要提出了面向业务过程的企业应用集成方法。并根据在业务过程集成中业务过程逻辑与应用过程逻辑相分离的原则,以J2EE应用服务器为集成平台通过利用JMS消息传递机制和基于JCA规范的连接器实现了应用系统之间的消息传递解偶和消除了不同应用系统对异构数据格式的依赖。 展开更多
关键词 企业应用集成 业务过程管理 J2EE JAVA消息服务 Java连接架构
下载PDF
SOA编程模型—SCA/SDO 被引量:9
11
作者 宋慧驹 马楠 吴志刚 《信息技术与标准化》 2007年第11期38-40,共3页
主要介绍新近提出的SOA编程模型—SCA/SDO,包括SCA/SDO的背景、作用以及框架结构,并对SCA/SDO的发展作出展望。
关键词 面向服务的架构 服务组件架构/服务数据对象 J2EE连接架构
下载PDF
基于信任行为感知的WSN主动识别安全算法
12
作者 李强强 王军号 《兰州工业学院学报》 2023年第5期78-84,共7页
在无线传感器网络中,为了解决恶意节点通过伪装窃取数据,造成WSN中敏感信息丢失问题,提出了一种基于可信连接架构的安全访问模型。通过引入调节因子和挥发因子可以自适应调整节点历史信任值对综合信任度的影响,阻止恶意节点通过群体欺... 在无线传感器网络中,为了解决恶意节点通过伪装窃取数据,造成WSN中敏感信息丢失问题,提出了一种基于可信连接架构的安全访问模型。通过引入调节因子和挥发因子可以自适应调整节点历史信任值对综合信任度的影响,阻止恶意节点通过群体欺诈获取信任值,同时设置节点最低信任阈值,以防止节点受到虚假转发数据、拒绝转发数据的影响。利用主动识别策略识别网络中可能存在的信任攻击,进一步提高模型的安全性。结果表明:该方法可以对网络中的信任攻击行为进行有效地识别,从而提升了对恶意结果的检测率和恶意节点的识别速度;能有效降低节点时延,减少网络丢包,延长生命周期。 展开更多
关键词 无线传感器网络 可信连接架构 恶意节点 信任攻击
下载PDF
毫米波MU-MIMO系统中自适应混合预编码器的设计
13
作者 薛建彬 王佳豪 《计算机科学》 CSCD 北大核心 2023年第S02期713-717,共5页
基于毫米波通信和大规模多输入多输出(Multi-input Multi-output,MIMO)技术,构建了适用于蜂窝车联网(C-V2X)等多用户多数据流场景的毫米波大规模MIMO系统,以降低系统的总功耗、硬件复杂度和计算复杂度。设计一种基于比特流的自适应连接... 基于毫米波通信和大规模多输入多输出(Multi-input Multi-output,MIMO)技术,构建了适用于蜂窝车联网(C-V2X)等多用户多数据流场景的毫米波大规模MIMO系统,以降低系统的总功耗、硬件复杂度和计算复杂度。设计一种基于比特流的自适应连接大规模MIMO架构,与其他自适应连接架构相比,所提自适应连接架构在阵列分组更小的情况下,使用的移相器和交换开关更少;并且随着阵列分组数的增加,该架构在毫米波多用户MIMO(MU-MIMO)系统中的功耗逐渐降低。仿真结果表明,在采用该架构的毫米波MU-MIMO-OFDM系统中,随着数据流总数的增加,一些现有混合预编码方案可以获得更高的数据传输速率。 展开更多
关键词 自适应连接阵列架构 大规模多输入多输出 毫米波 混合预编码 数据传输速率
下载PDF
EJB3.0集成技术的研究与比较
14
作者 张丽华 鞠淼 刘淑芬 《吉林大学学报(信息科学版)》 CAS 2009年第3期254-261,共8页
为解决企业在实现业务集成过程中存在的集成方式单一,集成技术难度大等问题,根据EJB3.0的特点,探讨了EJB3.0(Enterprise Java Beans)集成技术,给出了3种集成方式的集成模型和实现方法,在此基础上对各种集成方式进行了比较,论述了3种集... 为解决企业在实现业务集成过程中存在的集成方式单一,集成技术难度大等问题,根据EJB3.0的特点,探讨了EJB3.0(Enterprise Java Beans)集成技术,给出了3种集成方式的集成模型和实现方法,在此基础上对各种集成方式进行了比较,论述了3种集成方式优势与不足以及各自适用的范围。通过对EJB3.0集成技术的研究与比较,为企业合理使用集成技术进行系统集成提供了解决方案。最后结合面向服务架构思想和EJB3.0集成技术,简要分析了EJB3.0集成与SOA(Services Oriented Architecture)的关系,为开发面向服务软件架构提供了参考性建议。 展开更多
关键词 EJB3.0 JAVA消息服务 WEB服务 J2EE连接架构 面向服务架构
下载PDF
Improved FEC Code Based on Concatenated Code for Optical Transmission Systems 被引量:1
15
作者 YUAN Jian-guo JIANG Ze MAO You-ju 《Semiconductor Photonics and Technology》 CAS 2006年第3期211-216,共6页
The improved three novel schemes of the super forward error correction (super-FEC) concatenated codes are proposed after the development trend of long-haul optical transmission systems and the defects of the existin... The improved three novel schemes of the super forward error correction (super-FEC) concatenated codes are proposed after the development trend of long-haul optical transmission systems and the defects of the existing FEC codes have been analyzed. The performance simulation of the Reed-Solomon(RS)+ Bose-Chaudhuri-Hocguenghem(BCH) inner-outer serial concatenated code is implemented and the conceptions of encoding/decoding the parallel-concatenated code are presented. Furthermore, the simulation results for the RS(255,239) +RS(255,239) code and the RS(255,239) +RS(255,223) code show that the two consecutive concatenated codes are a superior coding scheme with such advantages as the better error correction, moderate redundancy and easy realization compared to the classic RS(255,239) code and other codes, and their signal to noise ratio gains are respectively 2-3 dB more than that of the RS(255,239)code at the bit error rate of 1 × 10^-13. Finally, the frame structure of the novel consecutive concatenated code is arranged to lay a firm foundation in designing its hardware. 展开更多
关键词 Optical transmission systems Super forward error correction Concatenated code Frame structure
下载PDF
Shaking Table Test on Out-of-Plane Stability of Infill Masonry Wall
16
作者 刘明 程云 刘晓伟 《Transactions of Tianjin University》 EI CAS 2011年第2期125-131,共7页
The behaviors of infill wall in earthquakes show that infill masonry walls,which are used as nonstructural elements of concrete frames,are vulnerable when they are subjected to earthquake.In order to achieve an optima... The behaviors of infill wall in earthquakes show that infill masonry walls,which are used as nonstructural elements of concrete frames,are vulnerable when they are subjected to earthquake.In order to achieve an optimal antiseismic behavior,or even stability,two methods of connection are investigated.The shaking table tests,with 1:3 scale walls of two-storey model subjected to horizontal earthquake loads,were carried out to investigate the out-of-plane behaviors with different connections between walls and beams.The test results show that the connection methods employed between walls and beams have a significant effect on the out-of-plane stability of infill walls.The walls bound by bars with the beams perform better than those with inclined bricks without gaps. 展开更多
关键词 infill wall OUT-OF-PLANE shaking table ACCELERATION EARTHQUAKE
下载PDF
Homogeneous wavelets and framelets with the refinable structure 被引量:1
17
作者 HAN Bin 《Science China Mathematics》 SCIE CSCD 2017年第11期2173-2198,共26页
Homogeneous wavelets and framelets have been extensively investigated in the classical theory of wavelets and they are often constructed from refinable functions via the multiresolution analysis. On the other hand, no... Homogeneous wavelets and framelets have been extensively investigated in the classical theory of wavelets and they are often constructed from refinable functions via the multiresolution analysis. On the other hand, nonhomogeneous wavelets and framelets enjoy many desirable theoretical properties and are often intrinsically linked to the refinable structure and multiresolution analysis. In this paper, we provide a comprehensive study on connecting homogeneous wavelets and framelets to nonhomogeneous ones with the refinable structure. This allows us to understand better the structure of homogeneous wavelets and framelets as well as their connections to the refinable structure and multiresolution analysis. 展开更多
关键词 homogeneous wavelets and framelets nonhomogeneous wavelets and framelets refinable structure shift-invariant spaces multiresolution analysis Schur decomposition for Hermite matrices of measurable functions singular value decomposition for matrices of measurable functions
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部