期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于Bio-PEPA的光纤网络安全态势动态计算系统 被引量:2
1
作者 沈潇军 蔡晴 +2 位作者 娄佳 张文正 王嘉怡 《激光杂志》 CAS 北大核心 2023年第2期169-173,共5页
光纤网络安全态势动态计算时,以往使用的系统在状态激增的情况下,极易受到攻击破坏,系统的脆弱性比较高。为此,提出基于Bio-PEPA的光纤网络安全态势动态计算系统。在硬件设计上,采用以传感器为主,分析器与决策器为辅的连接结构,针对态... 光纤网络安全态势动态计算时,以往使用的系统在状态激增的情况下,极易受到攻击破坏,系统的脆弱性比较高。为此,提出基于Bio-PEPA的光纤网络安全态势动态计算系统。在硬件设计上,采用以传感器为主,分析器与决策器为辅的连接结构,针对态势数据源的不同,设计多源传感器,通过传感器将态势数据传输到上层应用;在软件设计上,利用Bio-PEPA建立光纤网络形式化模型,根据上传的态势事件性质的不同,确定并量化态势指标,结合模型中的观测值,实现光纤网络安全态势动态计算。至此,系统设计完成。测试结果表明:设计系统在状态激增的情况下,稳态概率值变化范围在0.05~0.5之间,并且动态计算时间组件数量为9 000时仅需要2.663 s。说明所提方法对于光纤网络安全态势动态计算的研究有一定的参考价值。 展开更多
关键词 bio-pepa 光纤网络 安全态势 动态计算 系统设计
下载PDF
一种基于Bio-PEPA的分布式虚拟化系统脆弱性扩散模型 被引量:5
2
作者 吕宏武 王慧强 +2 位作者 林俊宇 冯光升 郭方方 《计算机学报》 EI CSCD 北大核心 2016年第2期391-404,共14页
脆弱点类型差异和脆弱性演化对脆弱性扩散过程具有显著影响,而现有脆弱性扩散模型对此还缺少深入研究.该文提出一种基于分簇思想的分布式虚拟化系统脆弱性扩散模型,首先按照节点包含脆弱点类型的不同进行分簇,其次利用Bio-PEPA静态分层... 脆弱点类型差异和脆弱性演化对脆弱性扩散过程具有显著影响,而现有脆弱性扩散模型对此还缺少深入研究.该文提出一种基于分簇思想的分布式虚拟化系统脆弱性扩散模型,首先按照节点包含脆弱点类型的不同进行分簇,其次利用Bio-PEPA静态分层特性,对脆弱性在簇内、簇间传播,以及簇间迁移演化过程进行建模.最后,将Bio-PEPA模型转化为常微分方程求解,分析分布式虚拟化系统脆弱性扩散的特点和规律,避免了传统分析方法的状态空间爆炸问题.实验结果显示,可以通过提升系统修复能力、降低簇间传播速率、减小簇间变迁速率,抑制分布式虚拟化系统的脆弱性扩散. 展开更多
关键词 脆弱性分析 脆弱性扩散 分布式虚拟化系统 bio-pepa 云计算
下载PDF
基于Bio-PEPA的云计算系统可生存性建模和分析(英文) 被引量:1
3
作者 赵国生 任孟其 +1 位作者 王健 廖祎玮 《Journal of Southeast University(English Edition)》 EI CAS 2018年第1期21-27,共7页
面向云计算系统,结合生物免疫系统的记忆功能以及不完全匹配性,通过对关键云服务可生存态势的分析,提出了一种云计算系统可生存性的形式化建模与分析方法.首先,在SAIR模型、SEIRS模型和分布式虚拟化系统脆弱性扩散模型的基础上,将病毒... 面向云计算系统,结合生物免疫系统的记忆功能以及不完全匹配性,通过对关键云服务可生存态势的分析,提出了一种云计算系统可生存性的形式化建模与分析方法.首先,在SAIR模型、SEIRS模型和分布式虚拟化系统脆弱性扩散模型的基础上,将病毒演化状态分为6种类型,然后分析了病毒在云计算系统服务域内的扩散规则和服务域间的传播规则.最后,基于Bio-PEPA对关键云服务可生存性态势演化进行形式化建模,得到SLIRAS模型.基于随机模拟和Bio-PEPA模型的ODEs模拟,从病毒的域间传播速率、修复能力、记忆能力3个方面对模型敏感参数进行了试验分析.结果表明,所建立的模型与实际云计算系统的可生存性态势近似拟合度高,能够很好地反映系统可生存性的变化. 展开更多
关键词 云计算系统 bio-pepa 可生存性 随机模拟
下载PDF
面向SDN的脆弱性扩散形式化建模与扩散因素分析 被引量:2
4
作者 王健 赵国生 +1 位作者 赵中楠 李可 《计算机研究与发展》 EI CSCD 北大核心 2018年第10期2256-2268,共13页
SDN将传统网络控制面与转发面解耦,在实施集中化管控的同时引入诸多新的安全和管理问题.脆弱点类型在SDN各层及南北向接口存在差异性,且传播趋势不同.针对脆弱性在SDN层内及层间的扩散效果及抑制策略问题,提出了一种基于Bio-PEPA的SDN... SDN将传统网络控制面与转发面解耦,在实施集中化管控的同时引入诸多新的安全和管理问题.脆弱点类型在SDN各层及南北向接口存在差异性,且传播趋势不同.针对脆弱性在SDN层内及层间的扩散效果及抑制策略问题,提出了一种基于Bio-PEPA的SDN脆弱性扩散形式化模型.1)对Bio-PEPA基础语义进行讨论,阐明其适用于具有明显分层架构的SDN及具有动态性的脆弱性扩散过程;2)探讨SDN中各层存在的脆弱性问题,并对SDN中存在的脆弱性以层为单位进行建模,通过对SDN层内及层间脆弱性扩散过程构建形式化模型,进而分析SDN内脆弱性在水平(层内)及垂直(层间)2个维度内的扩散机理,从而更好地抑制脆弱性在SDN内的扩散;3)通过仿真实验得出可以通过降低连接转化率、提升检测转化率及修复转化率来有效抑制SDN的脆弱性扩散. 展开更多
关键词 软件定义网络 bio-pepa 形式化建模 脆弱性扩散 抑制策略
下载PDF
壳聚糖基阻燃剂制备及其在防火涂层中应用 被引量:3
5
作者 王娜 王树伟 +2 位作者 滕海伟 王升 方庆红 《精细化工》 EI CAS CSCD 北大核心 2018年第11期1968-1973,共6页
以生物材料壳聚糖(CTS)、季戊四醇磷酸酯(PEPA)、二苯甲烷二异氰酸酯(MDI)为原料,制备壳聚糖基膨胀型阻燃剂(PMC)。并通过FTIR、XRD、TG对阻燃剂的结构及热性能进行了表征;以不同阻燃剂对水性环氧树脂涂层进行阻燃化改性,制备了... 以生物材料壳聚糖(CTS)、季戊四醇磷酸酯(PEPA)、二苯甲烷二异氰酸酯(MDI)为原料,制备壳聚糖基膨胀型阻燃剂(PMC)。并通过FTIR、XRD、TG对阻燃剂的结构及热性能进行了表征;以不同阻燃剂对水性环氧树脂涂层进行阻燃化改性,制备了3种阻燃涂层EP1、EP2和EP3,并将阻燃涂层用做钢结构的防护涂层。用TG、极限氧指数(LOI)、UL-94、SEM对样品的热性能及阻燃性能进行了表征,用附着力实验仪测试了涂层的附着力。结果表明:当PMC质量分数为10%时,EP3可通过UL-94 V-0测试;相比纯EP涂层,500℃时,EP3残炭量提高47%,LOI可达25.5%。附着力测试结果表明,PMC的添加不会降低涂层的附着力。 展开更多
关键词 膨胀型阻燃剂 水性环氧涂层 壳聚糖 季戊四醇磷酸酯 生物基 建筑用化学品
下载PDF
Cloud Service Security Adaptive Target Detection Algorithm Based on Bio-Inspired Performance Evaluation Process Algebra 被引量:1
6
作者 ZHAO Guosheng QU Xiaofeng +2 位作者 LIAO Yuting WANG Tiantian ZHANG Jingting 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2019年第3期185-193,共9页
Combining the principle of antibody concentration with the idea of biological evolution, this paper proposes an adaptive target detection algorithm for cloud service security based on Bio-Inspired Performance Evaluati... Combining the principle of antibody concentration with the idea of biological evolution, this paper proposes an adaptive target detection algorithm for cloud service security based on Bio-Inspired Performance Evaluation Process Algebra(Bio-PEPA). The formal modelling of cloud services is formally modded by Bio-PEPA and the modules are transformed between cloud service internal structures and various components. Then, the security adaptive target detection algorithm of cloud service is divided into two processes, the short-term optimal action selection process which selects the current optimal detective action through the iterative operation of the expected function and the adaptive function, and the long-term detective strategy realized through the updates and eliminations of action planning table. The combination of the two processes reflects the self-adaptability of cloud service system to target detection. The simulating test detects three different kinds of security risks and then analyzes the relationship between the numbers of components with time in the service process. The performance of this method is compared with random detection method and three anomaly detection methods by the cloud service detection experiment. The detection time of this method is 50.1% of three kinds of detection methods and 86.3% of the random detection method. The service success rate is about 15% higher than that of random detection methods. The experimental results show that the algorithm has good time performance and high detection hit rate. 展开更多
关键词 cloud service SECURITY BIO-INSPIRED Performance Evaluation Process ALGEBRA (bio-pepa) ADAPTIVE detection biological immunity EVOLUTIONARY mechanism
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部