分享到:

“确实”:为软件创新筑巢

文章提示 软件产业是信息产业的灵魂,是21世纪的朝阳产业,是决定21世纪国际竞争地位的战略性产业。$$    (本文共7页) 阅读全文>>

权威出处: 科技日报2011-03-03
《伊犁师范学院学报(自然科学版)》2019年04期
伊犁师范学院学报(自然科学版)

伊犁师范大学数学与统计学院承办“第九届可信软件工程中的逻辑方法研讨会”

2019年8月10日至11日,由中国计算机协会形式化方法专委会主办,伊犁师范大学数学与统计学院承办的"第九届可信软件工...  (本文共1页) 阅读全文>>

《信息安全研究》2017年04期
信息安全研究

可信软件基技术研究及应用

随着信息科学和技术的发展,作为网络空间安全的关键技术——可信计算技术——已经成为国际网络空间安全斗争的焦点,我国正在大力发展推进其在各领域的应用.可信软件基(trusted software base,TSB...  (本文共7页) 阅读全文>>

《计算机与数字工程》2013年02期
计算机与数字工程

嵌入式系统可信软件栈自动化测试研究

嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层...  (本文共3页) 阅读全文>>

《南京师大学报(自然科学版)》2013年01期
南京师大学报(自然科学版)

基于证据推理面向生命周期的可信软件评估

可信软件评估是目前学术界研究的一个新的热点和难点,为解决可信软件评估过程中未能有效处理区间不确定评价信息的集结、可信准则体系动态生成算法效率不够高的...  (本文共9页) 阅读全文>>

《桂林电子科技大学学报》2011年02期
桂林电子科技大学学报

广西可信软件重点实验室

广西可信软件重点实验室于2010年通过广西区科技厅专家组织认定,依托桂林电子科技大学,...  (本文共1页) 阅读全文>>