检索结果-内蒙古大学图书馆

计算机工程 2007年第8期33卷 86-88,91页

作者：张赛男殷兆麟刘厚泉中国矿业大学计算机学院徐州221008

安全是现代软件系统不可缺少的一部分,但是,目前的软件系统建模一般都不涉及安全。系统安全策略和安全机制往往是开发人员在系统开发后期对系统的补充和措施的完善。这种不规范的处理为系统后期安全维护及系统之间的集成带来很大的隐患... 详细信息

安全是现代软件系统不可缺少的一部分,但是,目前的软件系统建模一般都不涉及安全。系统安全策略和安全机制往往是开发人员在系统开发后期对系统的补充和措施的完善。这种不规范的处理为系统后期安全维护及系统之间的集成带来很大的隐患。该文通过学生成绩管理系统来讨论如何扩充UML图素、为系统安全访问控制策略建模,引入视图策略语言(VPL)描述角色与授权之间的关联,实现了软件系统UML建模与系统安全建模的集成。

关键词： UML 访问控制策略 RBAC 视图策略语言安全建模

来源：评论

学校读者我要写书评

暂无评论

基于颜色Petri网的无线Mesh网路由安全建模与验证

基于颜色Petri网的无线Mesh网路由安全建模与验证

引用

作者：周强哈尔滨工业大学

学位级别：硕士

随着3G网络与无线局域网的普及,无线网络通信技术已经在我们的日常生活中无处不在了。无线Mesh网(Wireless Mesh Network)简称WMN作为一种新型的无线网络,由于其自组织,自适应,成本低,多跳,与其他网络兼容好等特点逐渐成为下一代无线通... 详细信息

随着3G网络与无线局域网的普及,无线网络通信技术已经在我们的日常生活中无处不在了。无线Mesh网(Wireless Mesh Network)简称WMN作为一种新型的无线网络,由于其自组织,自适应,成本低,多跳,与其他网络兼容好等特点逐渐成为下一代无线通信的核心技术。尽管现在的无线网络中有很多安全机制来保障网络安全,但由于无线 Mesh网自身的特点,这些安全机制不能完全地应用到无线Mesh网中。路由安全是无线Mesh网安全的一个重要方面,网络的安全传输,离不开路由协议的安全保障,恶意节点通过攻击路由协议,假冒正常的节点并且插入伪造路由信息来攻击网络,一旦路由协议受到攻击,其余的安全措施都变得毫无意义。\n 安全协议的形式化验证方法是指用数学或者逻辑模型对所建立的模型进行分析验证,从而在理论上证明其安全性。颜色Petri网是一种图形化的建模语言,采用颜色 Petri网对安全问题进行建模分析具有很多独特的优点。比如,颜色Petri网有自动化分析工具如CPN Tool;可以采用状态空间分析和关联矩阵分析;用颜色 Petri网建模可以有效地验证安全协议的安全性,颜色 Petri网不但可以检测出模型中存在攻击,当安全协议中没有攻击时,颜色Petri网可以有效地证明其安全性。因此研究基于颜色Petri网的无线Mesh网安全协议建模和验证具有重要的理论意义和应用价值。\n 本文通过分析研究现有无线 Mesh网路由协议的运行机制和各种形式化验证方法,首次提出了用颜色 Petri网对无线 Mesh网路由协议 HWMP进行建模和安全验证。通过对HWMP路由协议进行建模分析,Petri网模型可以有效地模拟仿真HWMP路由协议按需路由建立过程。用状态空间方法和CPN Tool仿真实验分析该模型,可以证明该模型中是否存在黑洞攻击。对于存在黑洞攻击的模型,通过研究现有的基于密码机制的安全路由方案和基于信任和检测机制的安全路由方案,本文提出了一种基于公开密钥加密机制的安全路由算法,用NS2对基于公开密钥机制的安全方案进行仿真实验,实验结果说明该安全方案可以有效地防止黑洞攻击对网络造成的影响。用颜色Petri网对该安全路由算法重新建模分析,通过状态空间方法和CPN Tool仿真实验,证明模型中不存在黑洞攻击,从而证明该基于公开密钥加密机制模型的安全性。

关键词：颜色Petri网无线Mesh网路由协议安全建模运行机制形式化验证公开密钥机制

来源：评论

学校读者我要写书评

暂无评论

一种面向网络拟态防御系统的信息安全建模方法

引用

通信技术 2018年第1期51卷 165-170页

作者：常箫张保稳张莹上海交通大学电子信息与电气工程学院上海200240 上海市信息安全综合管理技术研究重点实验室上海200240

常见网络系统多数使用静态构架,无法有效抵御攻击者的持续探测与攻击,导致网络态势呈现易攻难守的局面。针对当前攻击成本和防御成本的严重不对称现状,邬江兴院士提出了网络拟态防御技术安全防护思想。网络拟态防御系统利用异构性、多... 详细信息

常见网络系统多数使用静态构架,无法有效抵御攻击者的持续探测与攻击,导致网络态势呈现易攻难守的局面。针对当前攻击成本和防御成本的严重不对称现状,邬江兴院士提出了网络拟态防御技术安全防护思想。网络拟态防御系统利用异构性、多样性来改变系统的相似性和单一性,利用动态性、随机性改变系统的静态性、确定性,期望利用动态异构的构架使得隐藏漏洞不被利用。基于此,提出一种基于本体的网络拟态防御系统安全建模方法,使用安全本体构建拟态动态化、异构性和多样性的模型,并通过测试案例解释了该模型的应用流程,同时验证了其有效性。

关键词：网络安全网络拟态防御本体动态异构性安全建模

来源：评论

学校读者我要写书评

暂无评论

基于网络流量学习的智能安全建模技术

引用

网络安全技术与应用 2016年第10期 63-65页

作者：董磊李秀峰徐志鹏中国电信股份有限公司山东分公司山东250101

随着IT及互联网技术不断的演进,安全威胁也在不断的发生演变,新的威胁APT攻击、0day攻击、水坑攻击等正在不断涌现,单纯依靠传统的基于特征库的静态检测防御技术已无法完全确保业务系统的安全性,通过研究一种基于业务系统网络流量学习... 详细信息

随着IT及互联网技术不断的演进,安全威胁也在不断的发生演变,新的威胁APT攻击、0day攻击、水坑攻击等正在不断涌现,单纯依靠传统的基于特征库的静态检测防御技术已无法完全确保业务系统的安全性,通过研究一种基于业务系统网络流量学习的智能安全流量建模技术和系统,可较快的建立符合业务系统自身特点的"Secure By Default"安全模型,完善对新安全威胁的检测和防护能力。

关键词：流量学习安全建模 Secure By Default

来源：评论

学校读者我要写书评

暂无评论

以通信系统信道容量为基础的多级安全建模分析

引用

电子世界 2016年第10期 131-131页

作者：贾蓓李倩茹李敬华西安通信学院

安全模型的种类比较多,但由于科技发展水平的制约,这些模型在理论层面和实际应用层面都不够成熟,存在着很多不足,如BLP模型不能够对隐蔽通道相关情况进行考虑,不可推断模型在非确定系统中具有不适用性。本文以BLP模型为基础,对隐蔽通道... 详细信息

安全模型的种类比较多,但由于科技发展水平的制约,这些模型在理论层面和实际应用层面都不够成熟,存在着很多不足,如BLP模型不能够对隐蔽通道相关情况进行考虑,不可推断模型在非确定系统中具有不适用性。本文以BLP模型为基础,对隐蔽通道特性进行分析和考虑,并对泄密通道有限的通信信道模型进行构想,借助对泄密通道通信道容量上限的调节,来对实际系统的安全性和可用性等进行平衡。

关键词：通信系统信道容量基础多级安全建模

来源：评论

学校读者我要写书评

暂无评论

安全访问控制建模与软件UML建模的集成

引用

福建电脑 2007年第12期23卷 129-129,80页

作者：宋蕊武蕾娜殷兆麟徐州工程学院信电工程学院江苏徐州221008 中国矿业大学计算机学院江苏徐州221008

目前的软件系统建模一般都不涉及安全。系统安全策略和安全机制往往是开发人员在系统开发后期对系统的补充和完善的措施。这种不规范的安全处理为系统后期安全维护及系统之间的集成带来莫大隐患。本文通过一个学生成绩管理管理系统来描... 详细信息

目前的软件系统建模一般都不涉及安全。系统安全策略和安全机制往往是开发人员在系统开发后期对系统的补充和完善的措施。这种不规范的安全处理为系统后期安全维护及系统之间的集成带来莫大隐患。本文通过一个学生成绩管理管理系统来描述如何实现系统UML建模与系统安全建模的集成。

关键词： UML 访问控制策略 RBAC VPL 安全建模

来源：评论

学校读者我要写书评

暂无评论

软件UML建模与RBAC安全模型

引用

电脑知识与技术 2009年第5X期5卷 3948-3950页

作者：张赛男尉红艳乔正洪雷小于中国人民解放军理工大学理学院江苏南京211100

软件系统建模一般不包括安全建模,系统安全策略和安全机制往往作为开发人员在系统开发后期对系统的补充和完善的措施。这种不规范的安全需求处理为系统后期安全维护及系统之间的集成带来莫大隐患。该文阐述RBAC的安全建模与系统通常UML... 详细信息

软件系统建模一般不包括安全建模,系统安全策略和安全机制往往作为开发人员在系统开发后期对系统的补充和完善的措施。这种不规范的安全需求处理为系统后期安全维护及系统之间的集成带来莫大隐患。该文阐述RBAC的安全建模与系统通常UML建模。

关键词：安全建模 RBAC UML RBAC模型

来源：评论

学校读者我要写书评

暂无评论

新型电力系统信息物理安全防护体系研究

引用

中国电机工程学报 2024年

作者：董昱周劼英张晓刘苇王琦国家电网有限公司国家电力调度控制中心南瑞集团有限公司东南大学电气工程学院

新型电力系统呈现出信息物理高度耦合的特征，一二次系统强交互性和控制机理高复杂性使得系统安全面临新的挑战。本文分析并提出了新型电力系统物理安全、功能安全、网络安全融合的信息物理安全特性和内涵；针对新型电力系统信息物理安... 详细信息

新型电力系统呈现出信息物理高度耦合的特征，一二次系统强交互性和控制机理高复杂性使得系统安全面临新的挑战。本文分析并提出了新型电力系统物理安全、功能安全、网络安全融合的信息物理安全特性和内涵；针对新型电力系统信息物理安全风险认知、监测和防护等方面所面临的挑战，提出了信息物理安全威胁跨域传播路径建模与分析方法，信息物理协同的安全威胁态势感知与检测方法，和多时空联动响应的信息物理安全防护方法等关键技术；并立足于电力监控系统典型业务场景，初步探索了新型电力系统信息物理安全防护应用前景。本文所提信息物理安全防护体系，可以实现跨域安全风险的量化表征和安全事件多时空协同感知、辨识和消解，为新型电力系统安全运行提供支撑。

关键词：新型电力系统信息物理安全安全建模安全感知安全防护

来源：评论

学校读者我要写书评

暂无评论

面向对象数据库发展和研究

引用

计算机应用研究 2006年第3期23卷 1-4,34页

作者：王功明关永赵春江王蕊首都师范大学信息工程学院北京100037 国家农业信息化工程技术研究中心北京100089

面向对象数据库作为第三代数据库具有前两代数据库无法比拟的优点,满足复杂数据结构和海量存储需要,是新型数据库如多媒体数据库、空间数据库、演绎数据库、工程数据库实现的基础。通过对比传统数据库的不足来说明面向对象数据库的优点... 详细信息

面向对象数据库作为第三代数据库具有前两代数据库无法比拟的优点,满足复杂数据结构和海量存储需要,是新型数据库如多媒体数据库、空间数据库、演绎数据库、工程数据库实现的基础。通过对比传统数据库的不足来说明面向对象数据库的优点,讲述面向对象数据库中的七种关键技术:数据库转换、模式演进、索引、事务管理、视图实现、版本管理、安全建模,介绍面向对象数据库的几种实现方法和发展前景。

关键词：面向对象数据库转换模式演进事务管理版本管理安全建模

来源：评论

学校读者我要写书评

暂无评论

网络安全若干关键技术研究

网络安全若干关键技术研究

引用

作者：白跃彬西安交通大学

学位级别：博士

随着网络技术的迅速发展和Internet的普及,网络安全的重要性已凸显出来,网络安全现在已成为一个研究热点.该文在国家863计划和日本国日本大学网络安全研究基金的资助下,对网络安全若干关键技术进行了深入的研究.这些技术包括：（1）网... 详细信息

随着网络技术的迅速发展和Internet的普及,网络安全的重要性已凸显出来,网络安全现在已成为一个研究热点.该文在国家863计划和日本国日本大学网络安全研究基金的资助下,对网络安全若干关键技术进行了深入的研究.这些技术包括：（1）网络威胁与攻击技术;（2）远程访问安全认证技术;（3）防火墙系统的安全建模;（4）包过滤防火墙规则的形式化及推理机设计技术;（5）分布式动态防火墙系统的设计与实现.

关键词：网络安全防火墙包过滤 petri网远程访问安全认证安全建模

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：