塑料光纤：为网络生活提质加速

信息产业的飞速发展使网络成为人们工作生活中不可或缺的组成部分.十一五期间我国启动的"863"计划信息技术领域新一代高可信网络重大项目的总体目标之一,就是要实现电视网、电信网、计算机网的"三网合一",塑料光纤及其配套设备的成功开发成为实现这一目标的关键.     

云计算的可信性

云计算是一种新兴的商业计算模型,同时又是一种能够动态伸缩的虚拟化资源。云计算的安全问题其实就是一种对可信的挑战。     

基于NB35047-2015规范的锦屏拱坝抗震复核

能源行业标准《水电工程水工建筑物抗震设计规范》(NB35047-2015)已于2015年9月1日颁布实施。介绍了依据该规范开展的锦屏一级高拱坝抗震安全复核工作。主要内容包括:基于设定地震的场地相关设计反应谱研究;采用动力拱梁分载法、线弹性有限元法和非线性有限元法,进行设计和最大可信地震作用下的应力和坝肩岩体动力稳定分析;在选定的人工地震波基础上,采用以基岩峰值加速度在设计地震基础上比例放大的方式,进行大坝地基系统在超设计地震荷载下的地震超载能力分析。复核分析表明,锦屏一级高拱坝具有较高的抗震潜力;设计地震和最大可信地震作用下,坝体抗压强度安全满足现行抗震规范要求,且抗压强度安全有较大安全裕度,坝体拉应力基本未超过混凝土容许的应力范围,仅局部应力集中部位拉应力较大,能满足校核地震作用下"不溃坝"的设防要求。     

可信软件需求获取与分析研究综述及展望*

需求获取与分析是可信软件领域的研究热点,近年来得到了广泛的关注和快速的发展。首先分析了中小型软件系统中需求获取方法与分析方法的国内外研究现状,接着对新近出现的可信软件中需求获取与分析方法进行了分析和综述;最后对需求获取与分析方法的研究动态进行了总结与展望。     

基于本体的可信软件演化框架模型*

为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的方法解决用户、系统和环境三者之间交互的语义问题,在此基础上,通过预定义的规则对软件行为的可信性和自主调整的必要性进行评估,依据评估结果从微观层次的规约制导和宏观层次的人机协同在软件生命周期内对其调整、配置与修正。应用实例及测试结果验证了该框架模型的有效性与可行性。     

一种改进的电子现金方案

TPM具有隐私保护能力和存储保护能力。使用盲签名可以实现被签名信息的匿名性,群签名可以实现签名者的匿名性。两者相结合可以实现双方的匿名性,从而实现交互的安全性。采用椭圆曲线算法ECC加密,可以提高系统运行效率。提出了一种基于TPM和群盲签名的电子现金方案,其主要目的是在保证系统安全性的前提下,提高系统的运行效率。并对方案进行了性能分析。     

一种远程证明协议转换模型及通用安全协议研究*

在对现有的远程证明技术进行分析研究的基础上,提出了一种远程证明证据传输的通用方法,该方法利用协议转换代理模块将不同的证明信息通过对偶的方式转换为通用的证明信息,并且利用所设计的通信协议进行安全传输。该方法解决了远程证明中不同证明信息传输的通用性问题,并且保障了远程证明信息在传输过程中的机密性和完整性。     

基于可信网络连接的局域网数据保密系统设计与实现

基于可信网络连接TNC（Trusted Network Connection）规范,设计并实现了一个局域网数据保密系统。根据TNC的可信平台机制对网络访问的终端实体进行接入控制,采用内核级的文件过滤驱动技术对敏感信息进行监控和保护,防止敏感信息的无意泄漏和恶意窃取,达到文件受控于可信网络环境的要求。     

最大可信事故的化学工业园区风险分析

化学工业园区风险分析是对园区进行风险管理的前提和基础,也是科学预防和控制重特大事故发生的保障.为了有效预防和控制化学工业园区重特大事故的发生,对化学工业园区进行风险分析,依据风险分析的结果提出对策措施有效控制或避免事故的发生是目前急待解决的问题.本文分析了化学工业园区的特点和危险性,提出了化学工业园区风险分析的重点和基于最大可信事故的风险分析方法,可以为化学工业园区安全规划、风险评价、风险管理提供参考.     

基于AGORA扩展模型的可信需求评价选择方法

需求分析设计过程中如何进行正确的需求选择是可信需求设计的一个重要研究内容,在分析研究了现有目标视图需求分析方法的优缺点后,对AGORA目标视图模型进行了扩展,提出了一种基于开发成本以及正确性、一致性、可变性等多可信属性的需求方案综合满意度评价选择方法。该方法解决了需求分析设计过程中的需求选择评价问题,并通过了一个分析案例表明了其实用性和可操作性。