【摘 要】
：
信息系统的应用越来越广泛,软件被视为信息系统的灵魂,已经在金融、军事、交通、基础设施等领域扮演越来越重要的角色,软件安全性已经成为关系到国民经济平稳发展、社会稳定
【机 构】
：
中国科学院软件研究所信息安全国家重点实验室
论文部分内容阅读
信息系统的应用越来越广泛,软件被视为信息系统的灵魂,已经在金融、军事、交通、基础设施等领域扮演越来越重要的角色,软件安全性已经成为关系到国民经济平稳发展、社会稳定和国家安全的重要因素.本文分析了国内外软件安全性研究的现状,并对软件安全性分析的主要科学问题和当前我国的重要需求进行了剖析,提出在信息系统安全保障能力建设中,应以加强软件安全性分析能力为导向,以提高软件的安全性分析水平为目标,以软件动态分析为关键技术手段,加强软件安全性分析基础方法研究,加强信息系统安全性分析和保障的专业人才队伍建设,为保障我国信息系统安全和网络空间主权提供技术支撑.
其他文献
最近局长的车出了事故,大家都很纳闷,局长的司机都有十几年驾龄了,怎么可能会出事故呢?可谁也没打听到事情的真相。还好局长只受了点皮外伤,但司机可伤得不轻,还住进了医院,
目前,在教育研究中理论脱离实践的问题仍然长期存在得不到解决.教育研究应该做什么?怎么做?这样一个问题给予我们很多的思考.教育研究的成果应该对教育实践有实际价值,而实际
20世纪美国现代诗歌的先驱之一E.E.卡明斯崇尚自然,热爱自然,歌颂自然,在该诗中诗人对人与自然及人与社会的关系进行了深刻的探讨,诗人通过在迈克索利酒吧里面的所见、所闻、
条件不稳定湿大气情况下,气流经过三维地形可以形成不同性质的对流系统以及不同特征的地形流结构,其对流系统、地形流的性质主要取决于地形上空的对流触发、对流-地形流-重力
GSM网络规划的目的是通过业务量的统计、预测,对基站的设备、覆盖区的调整,通过天线、频率规划、复用技术等手段,达到有效的解决容量、覆盖、干扰等问题,以达到改善用户通话
2011年的6月19日，按年头算，本该是黑龙江省第十八届养路工人节，但是对于黑龙江省3万余名养路工人来说，这一天却又有了崭新的意义。因为，从今年开始，这个日子被正式写进了刚出台不久
利用最新安装的塔中"80m观测塔梯度探测系统"资料,详细分析了塔中春季晴天近地层80m高度内平均温度、湿度和风速廓线日变化分布特征,得出以下一些结果:(1)温度廓线有夜间辐射型、早上过渡型、白天日射型和傍晚过渡型四种。夜间近地层大气层结稳定,呈逆温特征;最强逆温出现在凌晨06时,此时,80m高度温差为11.1℃。白天,近地层80m内温度递减率在2.7~5.2℃/100m之间,大气一直处于超绝热不稳
浆细胞样树突状细胞(pDC)是一类近年来被认识并证明在免疫应答与免疫耐受中发挥重要作用的免疫细胞,其功能特点在于活化后大量快速分泌Ⅰ型IFN,并能够通过Ⅰ型干扰素途径增强
目的 调查上海市浦东新区陆家嘴社区卫生服务中心镇痛药的应用现状和趋势.方法 对2008年1月至2010年12月本中心镇痛用药金额、用药频度、处方开具科室和诊断等进行统计、分析
基于摩擦理论,建立了预应力筋微段平衡程,利用变形协调条方件,推导了桥梁工程中典型的五段式预应力筋的锚固损失解析解,并将计算方法推广到n段混合线形的预应力筋,最后通过算