检索结果-南通市图书馆

随机性分析下的电力终端零信任风险评估非线性优化算法

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

网络安全技术与应用 2024年第7期 33-37页

作者：曹扬苏扬匡晓云洪超郭舒扬庞晓健蒋屹新陆力瑜中国南方电网有限责任公司广东510663 南方电网科学研究院有限责任公司广东510663 广东省电力系统网络安全企业重点实验室广东510663

当前对于电力终端零信任风险评估非线性优化多采用自适应交互反馈方法,但该方法忽略了评估指标离散度的影响,导致风险评估优化结果的误差较大。为此,提出随机性分析下的电力终端零信任风险评估非线性优化算法。根据电力终端系统运行原... 详细信息

当前对于电力终端零信任风险评估非线性优化多采用自适应交互反馈方法,但该方法忽略了评估指标离散度的影响,导致风险评估优化结果的误差较大。为此,提出随机性分析下的电力终端零信任风险评估非线性优化算法。根据电力终端系统运行原理与现状,选取风险评估影响因素,并通过量化指标建立风险评估体系,引入最大停滞步数阈值计算指标离散系数,并结合模糊矩阵计算指标的综合权值,基于此,依据随机性分析理论,构建风险评估优化模型,通过求取电力终端系统风险评估值实现风险评估非线性优化。对比仿真实验结果表明,所提方法能够有效且更加准确地完成电力终端风险评估,评估优化结果误差更小,评估优化效果较好。

关键词：随机性分析电力终端零信任风险评估非线性优化

在线全文

学校读者我要写书评

暂无评论

基于微隔离技术的网络安全纵深防御研究

网络安全技术与应用 2024年第5期 4-5页

作者：代仕勇吴跃隆汪绪先黄缙华陆荟颖徐文倩蒋屹新张宇南广东电网有限责任公司电力科学研究院广东510080 南方电网公司网络空间安全联合实验室广东510080 南方电网科学研究院有限责任公司广东510080 广东省电力系统网络安全企业重点实验室广东510080

随着企业数字化转型的推进,云计算、虚拟化等新技术不断与企业应用融合发展,传统重网络边界防护的模式已难以有效应对各种新型网络攻击,因此,企业需要不断探索新的网络安全防护技术。本文针对当前时期企业数字化转型过程中存在的网络安... 详细信息

随着企业数字化转型的推进,云计算、虚拟化等新技术不断与企业应用融合发展,传统重网络边界防护的模式已难以有效应对各种新型网络攻击,因此,企业需要不断探索新的网络安全防护技术。本文针对当前时期企业数字化转型过程中存在的网络安全问题以及基于微隔离技术的网络安全纵深防御技术的优势进行了分析,探究了基于微隔离技术的网络安全纵深防御策略,供相关读者参考。

关键词：微隔离技术网络安全纵深防御

在线全文

学校读者我要写书评

暂无评论

防火墙SNMP代理的设计与实现

小型微型计算机系统 2002年第6期23卷 679-682页

作者：蒋屹新李之棠华中科技大学计算机学院湖北武汉430074

本文对防火墙管理信息库 MIB(Managem ent Information Base)规范作了介绍 .并在此基础上 ,重点描述了以防火墙 MIB为基础的 SNMP代理系统的体系结构和相关功能模块 .通过该 SNMP代理 ,可以利用 SNMP实施对防火墙的统一管理 ,使得遵循... 详细信息

本文对防火墙管理信息库 MIB(Managem ent Information Base)规范作了介绍 .并在此基础上 ,重点描述了以防火墙 MIB为基础的 SNMP代理系统的体系结构和相关功能模块 .通过该 SNMP代理 ,可以利用 SNMP实施对防火墙的统一管理 ,使得遵循此规范的防火墙产品能随时加入网络管理系统中 ,而无须改动

关键词：防火墙代理设计 SNMP协议网络安全计算机网络

在线全文

学校读者我要写书评

暂无评论

基于Petri网的模型检测研究

软件学报 2004年第9期15卷 1265-1276页

作者：蒋屹新林闯曲扬尹浩清华大学计算机科学与技术系北京100084

模型检测是关于系统属性验证的算法和方法.它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性.系统模型的状态空间的爆炸问题是模型检测所面临的主要问题,其主要原因是系统自身的并发特... 详细信息

模型检测是关于系统属性验证的算法和方法.它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性.系统模型的状态空间的爆炸问题是模型检测所面临的主要问题,其主要原因是系统自身的并发特性和状态变迁的语义交织.对基于 Petri 网的模型检测理论和验证技术进行了较为详细的研究,着重探讨了基于 Petri 网状态可达图的偏序简化和偏序语义技术、基于自动机的模型etri 网的状态聚合法以及基于系统对称性的参数化和符号模型检测技术,并给出了研究思路以及未来所要进行的重点研究工作.模型检测技术已在通信协议和硬件系统的验证等领域得到成功应用,并且随着各种状态空间简化技术和模型检测算法的不断优化,其在其他应用领域也展示出广泛的应用前景.

关键词：时序逻辑 Petri网状态空间模型检测

端到端MPEG-4FGS视频TCP友好的平滑传输

在线全文

学校读者我要写书评

暂无评论

软件学报 2005年第5期16卷 931-939页

作者：尹浩林闯张谦蒋屹新清华大学计算机科学与技术系北京100084

着重研究了Internet上MPEG-4FGS(fine grained scalable)视频流的自适应平滑传输,其主要目的在于,在网络带宽变化的情况下,提供稳定的视频回放质量.提出了一种新的基于TFRC(TCP-friendly rate control)的MPEG-4FGS端到端视频流传输系统... 详细信息

着重研究了Internet上MPEG-4FGS(fine grained scalable)视频流的自适应平滑传输,其主要目的在于,在网络带宽变化的情况下,提供稳定的视频回放质量.提出了一种新的基于TFRC(TCP-friendly rate control)的MPEG-4FGS端到端视频流传输系统框架,在此框架的基础上,首先假设完整的可用带宽变化已知,并且提出了一种离线的自适应平滑算法.此后,给出一种基于改进的ARAR(autoregressive autoregressive)预测技术的在线自适应平滑算法.最后,以NS-2为实验平台进行了模拟实验.模拟实验表明,提出的离线和在线自适应平滑算法可以充分利用可用网络带宽,并且能够在可用网络带宽持续波动的情况下保证接收方的回放尽可能地平稳,从而达到获得最佳视觉效果的目的.

关键词： MPEG-4 FGS TFRC ARAR预测自适应平滑传输

面向智能电网边缘计算的密文多关键字检索方法

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2022年第7期39卷 310-314,342页

作者：许爱东朱静蒋屹新张宇南吴涛蒋龙生南方电网科学研究院有限责任公司广东广州510670 重庆邮电大学通信与信息工程学院重庆400065 重庆邮电大学网络空间安全与信息法学院重庆400065

随着我国电网智能化升级的不断深入以及边缘计算技术的兴起,如何对电网边缘端存储的用电数据进行安全防护和按需检索成为实现电网边缘化智能计算的关键问题。对此提出一种新型直接索引结构方案,通过采用哈希SHA256算法产生一组码字数组... 详细信息

随着我国电网智能化升级的不断深入以及边缘计算技术的兴起,如何对电网边缘端存储的用电数据进行安全防护和按需检索成为实现电网边缘化智能计算的关键问题。对此提出一种新型直接索引结构方案,通过采用哈希SHA256算法产生一组码字数组作为记录的索引,搜索时用户输入多关键字并产生对应的陷门,该陷门与索引进行精准匹配,并将所有匹配结果反馈给用户。该方案具有较低的空间复杂度;通过利用智能电表的采样数据,建立数学模型并验证了该方法的有效性。

关键词：智能电网哈希密文检索多关键字边缘计算

在线全文

学校读者我要写书评

暂无评论

计算机系统脆弱性评估研究

计算机学报 2004年第1期27卷 1-11页

作者：邢栩嘉林闯蒋屹新清华大学计算机科学与技术系北京100084

在计算机安全领域 ,特别是网络安全领域 ,对计算机系统进行脆弱性评估十分重要 ,其最终目的就是要指导系统管理员在“提供服务”和“保证安全”这两者之间找到平衡 .脆弱性评估方法的发展经历了从手动评估到自动评估的阶段 ,现在正在由... 详细信息

在计算机安全领域 ,特别是网络安全领域 ,对计算机系统进行脆弱性评估十分重要 ,其最终目的就是要指导系统管理员在“提供服务”和“保证安全”这两者之间找到平衡 .脆弱性评估方法的发展经历了从手动评估到自动评估的阶段 ,现在正在由局部评估向整体评估发展 ,由基于规则的评估方法向基于模型的评估方法发展 ,由单机评估向分布式评估发展 .该文阐述了脆弱性评估所要解决的问题。

关键词：网络安全计算机网络计算机安全计算机病毒计算机系统脆弱性评估

基于Petri网的强制访问控制模型及其安全分析

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2005年第Z1期17卷 82-87页

作者：蒋屹新林闯封富君尹浩清华大学计算机科学与技术系北京100084清华大学计算机科学与技术系北京100084清华大学计算机科学与技术系北京100084 第二炮兵工程学院计算机与指挥自动化系西安710025清华大学计算机科学与技术系北京100084

强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Petri网状态可达图的基础上,对MAC模型的有关安全属性,如主体访... 详细信息

强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Petri网状态可达图的基础上,对MAC模型的有关安全属性,如主体访问客体的时序关系,主体访问的可达性,因主体的动态安全级访问而存在的安全隐患以及因主体对客体的间接访问而导致敏感信息的可推测性等进行了较为详细地分析.通过对一个安全模型的范例分析,结果表明:基于Petri网的安全模型的分析方法可以充分利用现有的可达图的分析方法来对系统安全模型的有关性质进行分析和验证,能够在安全模型的设计和实现阶段有效地改善系统的总体安全策略.

关键词：格 Petri网可达性安全分析强制访问控制模型

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

虚拟化环境下恶意软件攻击的修复机制

电子学报 2011年第2期39卷 309-314页

作者：孙显军林闯蒋屹新刘卫东清华大学计算机科学与技术系北京100084 中国人民解放军61741部队北京100081

恶意软件常常能够成功攻击虚拟机和其管理系统,使虚拟环境处于一种不安全、难以恢复的状态.传统的安全防护机制无法满足虚拟环境的安全要求,本文提出一种基于代理的检测和协作修复机制,通过多个虚拟机节点共享修复情况信息,快速获取有... 详细信息

恶意软件常常能够成功攻击虚拟机和其管理系统,使虚拟环境处于一种不安全、难以恢复的状态.传统的安全防护机制无法满足虚拟环境的安全要求,本文提出一种基于代理的检测和协作修复机制,通过多个虚拟机节点共享修复情况信息,快速获取有效的修复工具,提高恢复能力.模拟分析和仿真实验结果证明该机制的实用性和效率.

关键词：虚拟化系统恶意软件攻击修复机制