检索结果-南通市图书馆

软件学报 2020年第5期31卷 1374-1391页

作者：刘筱珊袁正恒陈小红陈铭松刘静周庭梁上海市高可信计算重点实验室(华东师范大学) 上海200062 卡斯柯信号有限公司上海200071

轨道交通区域控制器是我国轨道交通信号系统选型的主流制式--基于通信的列车控制系统的核心子系统,其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是区域控制器自身的复杂性以及领域知识的繁杂难以掌握,使得形式化... 详细信息

轨道交通区域控制器是我国轨道交通信号系统选型的主流制式--基于通信的列车控制系统的核心子系统,其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是区域控制器自身的复杂性以及领域知识的繁杂难以掌握,使得形式化方法很难应用到安全需求的验证中去.针对这些问题,提出一种安全需求的自动验证方法,使用半形式化的问题框架方法来建模和分解安全需求,根据需求模型自动生成安全需求的验证模型和验证性质,在此基础上自动生成验证模型的Scade语言实现,并通过DesignVerifier验证器对需求进行组合验证.最后,使用某个实际案例区域控制器的一个子问题CAL_EOA进行了研究,实验结果证明了该方法的可行性与有效性.它能够自动地将安全需求模型进行组合验证,改善了验证的效率.

关键词：区域控制器安全需求建模自动验证需求分解组合验证

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

安全需求工程研究综述

引用

计算机应用与软件 2013年第2期30卷 216-220页

作者：汪北阳软件工程国家重点实验室(武汉大学) 湖北武汉430072 长江大学计算机科学学院湖北荆州434023

近年来,安全需求工程逐渐成为软件工程领域的研究热点之一。在开发周期的早期阶段引进安全分析和安全工程实践比在应用设计阶段才引进分析的投资回报要高出12%-21%。归纳安全需求工程发展过程及其主要研究活动,给出安全需求工程的相关定... 详细信息

近年来,安全需求工程逐渐成为软件工程领域的研究热点之一。在开发周期的早期阶段引进安全分析和安全工程实践比在应用设计阶段才引进分析的投资回报要高出12%-21%。归纳安全需求工程发展过程及其主要研究活动,给出安全需求工程的相关定义,并分析了几个典型的安全需求工程框架。通过总结安全需求工程领域的若干研究活动,提出安全需求工程研究的两大思路,并从6个方面介绍安全需求工程的研究进展,探讨安全需求工程研究存在的不足。作为总结,给出了安全需求工程领域最有前途的发展方向。

关键词：安全需求安全需求工程安全需求获取安全需求分析安全需求建模模型检测风险评估

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

PHP Web应用程序开发中漏洞消减技术研究

PHP Web应用程序开发中漏洞消减技术研究

引用

作者：林龙成南京师范大学

学位级别：硕士

当前网络空间博弈日益复杂和严峻,安全漏洞的消减成为国家层面信息对抗的需求。Web设计和开发中存在的安全漏洞是黑客的主要目标,漏洞被利用所造成的损失日益严重。PHP是一种非常流行的Web开发语言,应用PHP语言开发的Web应用中往往存在... 详细信息

当前网络空间博弈日益复杂和严峻,安全漏洞的消减成为国家层面信息对抗的需求。Web设计和开发中存在的安全漏洞是黑客的主要目标,漏洞被利用所造成的损失日益严重。PHP是一种非常流行的Web开发语言,应用PHP语言开发的Web应用中往往存在着惊人的漏洞,因此,消减PHP Web应用开发中的安全漏洞成为一项极其重要的工作。本文介绍了Web应用与PHP安全漏洞的相关概念,总结了目前Web应用中的十大安全威胁,并应用Web安全漏洞测试分析工具DVWA在代码层分析了跨站脚本、SQL注入、文件包含及命令执行等四种主要PHP漏洞的成因以及利用漏洞进行攻击的方法。本文在分析已有软件安全开发模型的基础上,以漏洞的生命周期为主线,以漏洞消减为目的,从开发者和管理者两个角度,提出了Web应用开发漏洞消减模型,介绍了漏洞消减过程中不同方面的策略和方法。接下来重点对模型中的安全需求建模和安全编码技术进行了研究。我们将工程化的威胁分析方法和形式化的UMLSec建模方法相结合,提出了基于UMLSec的PHP Web安全需求建模框架,并以用户登录模块安全需求建模为例,从口令生成、口令输入、口令传输、口令存储、口令找回、口令修改及口令状态等多方面进行威胁分析,建立安全需求模型,对模型的一致性进行验证。这种在设计阶段对Web应用安全漏洞进行消减的方法,既能准确、详尽地描述PHP Web应用软件的安全需求,又便于开发者理解和掌握,以提高安全需求分析的效率和质量,从而在设计阶段就对Web应用安全漏洞进行有效消减。我们还将代码检测的一部分工作引入编码阶段,设计并实现了基于Eclipse的PHP Web漏洞消减插件工具PVDetector (PHP Vulnerability Detector)。介绍了漏洞消减插件的结构及模块功能,分析了安全检测模块中污点检测过程,并给出了插件的具体实现方法,最后对插件的功能进行了测试。实验结果表面,本文给出的这种漏洞消减插件工具在编码过程中就进行代码检测,能够帮助开发人员在编码阶段及早发现漏洞,了解漏洞,从而有效地消减大部分漏洞。

关键词：漏洞漏洞消减安全需求建模漏洞检测 Web安全

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：