安全属性相关论文
无人机飞行控制系统作为飞行器关键系统之一,负责飞行器从起飞至降落的整个飞行过程。飞控系统软件具有安全性能要求高、功能繁多......
网络安全研究的一个重要理论基础是安全评价,特别是定量刻画网络系统的安全性,评价安全机制保证的安全程度,这是从理论上指导构建......
随着信息技术的飞速发展,各种危害事件层出不穷,网络安全形势日趋严峻。特别是在金融系统和电子商务等领域,密码技术的优势则表现......
WS (Web Service)提供了一个中立的、语言无关的平台,支持网络上机器之间的交互操作。然而,不同部分之间的应用调用产生了安全威胁......
面对当今城市建设所面临的公共安全问题，论文借助跨学科研究方法和途径，从城市设计的视角展开研究，旨在建立基于公共安全的城市设计的......
本文提出并界定了人力资源安全的内涵，剖析了人力资源安全属性，它应具有系统支持功能和动态平衡功能。论文根据实证结果提炼了企业人......
1分钟在大数据的世界里会发生什么？App store产生47，000次下载；twitter产生100，000条记录；Google接受2，000，000次搜索；互联网消费272，070美......
该文介绍了DoD资深的广泛应用的TCSEC与最新的CC基础上的ISO/IEC15408标准的一些基本概念，着重比较了二者对于如何用安全性，如何对安......
Mesh融合了无线网络WLAN和Ad Hoc的网络优势,各节点之间具有自组织功能,可以提供大容量、高速率、不可视距的数据传输以及更广的网......
近日，金山安全系统公司正式发布了金山私有云安全系统。该产品以可信应用控制+程序安全属性动态鉴定为核心技术，专门捕捉定向攻击（APT......
...
...
0引言在信息安全风险评估中,资产最终价值由保密性、完整性和可用性三个安全属性决定。资产评估就是在资产识别的基础上,对资产的......
信息安全风险评估,是依据信息安全技术与管理标准,对信息系统及由其处理、传输和存储的信息的机密性,完整性和可用性等安全属性进......
本文在构建安全农产品消费者额外支付意愿形成过程框架和分析农产品不同安全属性的消费者感知差异基础上,以江苏省城市消费者为调......
媒介安全是媒介在社会系统中的安全属性,是媒介的功能之一。媒介安全的实质是通过媒介实现国家安全、公共安全和群体安全。媒介安......
粮食安全的概念自上世纪70年代首次被提出后,随着人们对粮食需求的不断变化,联合国粮农组织和国内外学者也对其不断丰富和完善.相......
针对在射频识别(RFID)标签资源受限条件下的标签信息安全传输与隐私保护问题,提出了一种能够实现对RFID标签信息安全传输的协议,该......
信息系统安全等级保护是提高系统安全保障能力和水平,维护国家安全、社会稳定和公共利益,保障和促进信息化建设健康发展的基本制度......
基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的......
针对AVISPA工具在分析某些消息需要依靠具有特定属性的信道传递的安全协议或服务中存在的问题,提出了一种基于抽象通道的扩展方法......
...
大多数的认证密钥协商协议没有考虑用户的匿名性,在分析已有MAKAP协议的基础上,提出了一种具有用户匿名性的认证密钥协商协议AKAPA......
为了增强对程序缓冲区溢出漏洞的检测,提出一种利用CCured和BLAST对C程序进行分析的检测方法。首先利用CCured对C语言源程序进行运......
为了提高交通事故现场的安全性,预防二次交通事故,综合考虑事故现场路段的交通和管理要素特征,建立交通事故现场安全性评价指标体......
通过对安全系统本质属性的再认识，提出了安全系统具有客观性、本征性、目的性、环境性和结构性的特点；论证安全系统是开放的、动态系......
提出了通过分析计算机系统的资源实体、访问者权限、安全需求和弱点等安全属性,按照不同的安全需求构造出安全故障树来直观地反映......
云计算是一种新兴的计算服务模式,其安全问题已经成为亟待研究的问题。本文将可信计算中的远程证明机制引入云计算中,针对云计算服......
针对典型电子商务安全协议逻辑分析方法存在的问题,如安全属性分析存在局限性、缺乏形式化语义、对混合密码原语的处理能力不强等,......
介绍了PCL协议组合逻辑系统的语法、语义和证明系统，并与其他分析方法进行了比较．详述了PCL证明顺序组合安全协议的认证性和私密性等......
安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题，本文......
分析多级涉密网安全接入的需求,提出了基于可信网络连接的多级涉密网安全接入模型。模型通过引入安全属性检查规则,检查接入设备和......
嵌入式软件在安全关键领域的广泛应用使得保障软件的安全性成为学界的研究热点。故障树技术是工业界常用的传统的安全分析方法之一......
在当前安全协议形式化分析的研究中，亟待解决的关键问题是如何形式化描述更多的安全属性，如何将这些属性在统一的框架下进行形式化分......
RFID电子标签在国内的应用越来越多,其安全性也开始受到重视。RFID电子标签自身都是有安全设计的,但是RFID电子标签具备足够的安全......
...
评估模型是风险评估的基础.本文从评估实体安全属性的相似性出发,提出安全相似域的概念,并在此基础上建立起一种网络风险评估模型S......
已有的网络安全技术不能防范所有入侵,因此需要研究入侵容忍技术。提出了优化的容侵系统状态转移模型,以此为基础建立半马尔可夫过......
同台式机的大屏相比,本本的屏幕天生就比较狭小。在日常使用过程中,众多的图标常常让本本桌面变得拥挤不堪,让用户使用起来感觉不......
对于本本用户来说,最讨厌别人在自己的本本上随意执行各种操作,这很容易造成本本出现各种问题。例如运行来历不明的程序,很容易让......
为确保可信连接架构（TCA）自身的安全可靠，研究了其安全属性量化问题，分析了其双向用户身份认证和平台认证过程中存在的安全威胁。利用......
信息系统安全一直是人们研究的热点。但是，目前重在对各种系统安全防护技术的研究与实现，对信息系统的安全性的量化分析研究却不成熟......
总结了针对身份认证协议的一类新型攻击的特征。对于攻击的分析,引入了两个新的安全属性定义,其一定义在单个证明者的环境中,另一......
如果说备份和恢复是系统管理员最为烦琐的工作,那么用户安全管理则是系统管理员最为头疼的事情.在大的企业,系统繁多,Unix超级用户......
探讨使用一组形式化的规则来验证密码协议安全属性的方法。这些规则基于传统的等级和信息流的思想,通过将其扩展后用来处理密码协......
安全协议是网络安全的重要因素，但是它并不完善．我们需要用形式化的方法去分析它是否具有相应的安全属性.本文主要分析了三类典型的......
会话密钥协商协议是在不可信网络中实现安全的信息交换的有效解决方法。通过对会话密钥协商协议相关的安全属性、可证明安全理论及......
论文运用时序逻辑对传统故障树进行形式化规约,并从中抽取出描述软件安全属性的时序逻辑公式,来支持对安全关键软件的模型检测。文......
