论文部分内容阅读
在信息安全领域中,软件的可信是在可用性、可靠性和安全性的基础之上建立的,是软件开发人员和用户都十分关注的问题。本文总结了可信和软件行为的概念,分析了软件可信研究的主要问题和方法,基于信任的定义和软件行为的特点,提出了一种软件动态可信研究的方法及软件行为动态可信的若干要素。
一种软件行为动态可信研究方法及其可信要素
【摘 要】
：
在信息安全领域中,软件的可信是在可用性、可靠性和安全性的基础之上建立的,是软件开发人员和用户都十分关注的问题。本文总结了可信和软件行为的概念,分析了软件可信研究的主要问题和方法,基于信任的定义和软件行为的特点,提出了一种软件动态可信研究的方法及软件行为动态可信的若干要素。
【机 构】
：
北京工业大学计算机学院 北京 100124
【出 处】
：
网络安全技术与应用
【发表日期】
：
2013年04期
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
《中华烧伤杂志》已开辟“疑难病例析评”栏目，结构分“病历摘要”和“分析与讨论”两部分。（1）作者在文题下署名，而非仅在文末注明由何人整理，作者拥有论文的著作权。（2）“分析与讨论”部分不采用依次发言的形式，而由作者系统归纳，形成思路清晰、条理清楚、分析得当、科学性强的原创性临床论文。论文性质等同于本刊“论著”。（3）所分析的病例不一定都具备病理检查结果，但必须经科学手段确诊。
期刊
由于核辐射环境的特殊性及无线传感器网络传感器节点能量的有限性,在LEACH协议的基础上提出一种路由改进算法,考虑节点的剩余能量、位置信息及节点到基站的距离等因素,改进适应值函数,利用粒子群优化算法,选取簇头节点。簇头节点选取合适的路径以单跳或多跳的传输方式与汇聚节点通信。仿真结果表明,改进算法明显地节省了节点能量,有效地延长了整个网络的生存周期,使得基于无线传感器网络的核辐射监测系统具有高效、稳定
学校大课间体育活动是体育教育的一部分,学生参与大课间活动的具体情况,直接关系到体育教育的质量和效果.为了优化农村小学体育教育环境,尝试形成和开发“操系列”大课间体育
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊