安全需求

作品数：1269被引量：1835H指数：17
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李晓红甘露吴荣张博陈剑勇更多>>
相关机构：华为技术有限公司中兴通讯股份有限公司西安电子科技大学天津大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家社会科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于STPA方法的平交道口安全需求分析被引量：9
《北京交通大学学报》2018年第2期84-90,共7页刘宏杰 唐涛 金夏垚 杜恒 
科技部"973"计划项目(2014CB340703);国家自然科学基金(U1434209);中央高校基本科研业务费专项资金(2016JBM007,2016JBZ004,2017JBZ004);交控科技设计创新和学科发展基金项目(9907006510)
现代平交道口控制系统多为由计算机组成的基于通信的控制系统,该类型系统中的危险致因大多源于系统组件间的复杂交互场景未得到充分辨识和控制。为了避免平交道口事故的发生,提出一套基于系统理论过程分析(STPA)的铁路信号系统安全分析...
关键词：平交道口 系统理论过程分析 安全分析 线性时序逻辑 XSTAMPP软件 
安全需求工程研究综述被引量：5
《计算机应用与软件》2013年第2期216-220,共5页汪北阳 
国家重点基础研究发展计划项目(2007CB310805)
近年来,安全需求工程逐渐成为软件工程领域的研究热点之一。在开发周期的早期阶段引进安全分析和安全工程实践比在应用设计阶段才引进分析的投资回报要高出12%-21%。归纳安全需求工程发展过程及其主要研究活动,给出安全需求工程的相关定...
关键词：安全需求 安全需求工程 安全需求获取 安全需求分析 安全需求建模 模型检测 风险评估 
基于弱点关联和安全需求的网络安全评估方法被引量：2
《高技术通讯》2009年第2期141-146,共6页苘大鹏 杨武 杨永田 周渊 张冰 
863计划(2006AA012451);973计划(2007CB311100)资助项目
针对传统的网络安全量化评估方法忽略了网络弱点间的关联性和目标主机的安全需求,导致评估结果不够准确的问题,提出了一种基于弱点关联和安全需求的网络安全量化评估方法。该方法利用攻击图来计算各弱点被网络攻击者成功利用的概率。在...
关键词：安全评估 弱点关联 安全需求 攻击图 
网络发展及其更广泛的安全需求
《中国电子科学研究院学报》2008年第6期551-557,共7页袁坚 王钺 
国家973计划(2007CB307100;2007CB307105);国家自然科学基金(60674048;60603068;60672142;60672107;60772053)
简要评述了网络应用技术与理论发展的图景,在此背景下进一步讨论了网络化系统的可依赖性问题。可依赖性作为比安全性更为广泛的安全概念,对其深入理解将有助于更好地审视未来应用的潜在需求。对于未来以网络为中心的军事应用,研究具有...
关键词：网络化系统 安全性 可依赖性 网络科学 
多方公平交换协议的形式化分析和设计
《中国科学（E辑）》2006年第6期598-616,共19页卿斯汉 李改成 
北京市自然科学基金(批准号:4052016);国家自然科学基金(批准号:60573042);国家重点基础研究发展规划(G1999035802)资助项目
通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系,提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型,规范了能够更严格地反映公平交换协议内在要求的多种安全需求,并对它们进行了细粒度的分解.基于...
关键词：公平交换 逻辑协议 形式化模型 安全需求 
P2P网络系统中的安全问题被引量：17
《通信技术》2002年第5X期81-84,共4页单国栋 戴英侠 王航 
国家重点基础研究发展规划项目;项目编号:G199903580;国家自然科学基金;项目编号:90104030
对所有的计算机系统而言,安全都是一个非常关键的问题。P2P系统包含了许多不同于传统的客户端/服务器模式新的安全问题。这些问题的核心集中于身份建立、安全运行、集中管理以及用户之间相互作用的控制。本文首先介绍了P2P网络的基本概...
关键词：PEER-TO-PEER 分布式计算 文件共享 安全需求 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部