可信软件设计技术

发布时间:2019-10-12 16:40

征求意见国家重点研发计划“变革性技术关键科学问题”重点专项2020

5.多物理场仿真 EDA 软件技术 研究内容:面向超高频、高真空等电子器件的精准、快速分析设计需求,构建压电器件、真空器件等的电/磁/力/热等多物理场三维精确仿真模型;研究三维模型计算的加速方法,以及多物理场联合仿真技术,建立适应超高频

发布时间:2014-09-12 00:00

江西财经大学软件与物联网工程学院

研究移动宽带网条件下的学习理论及相关技术,为提高移动学习质量与效率和随时随地学习提供理论与技术支持。当前主要研究基于移动宽带网的远程指导、协作学习、移动情景学习等。本方向培养熟练掌握智能手机应用软件设计技术,具有移动商务理念,能够

发布时间:2019-01-11 00:00

网络信息安全郑州市信息技术学校郑州市第十中学

计算机及其网络系统的安全管理是计算机安全的重要组成部分,安全管理贯穿于网络系统设计和运行的各个阶段。它既包括了行政手段,也含有技术措施。在系统设计阶段,在硬、软件设计的同时,应规划出系统安全策略;在工程设计中,应按安全策略的要求确

发布时间:2019-08-21 17:00

南京邮电大学研究生招生信息网南京邮电大学考研信息网研究生

2、软件安全与可信计算 研究可信软件理论与方法,包括高可信软件平台及其体系结构与机理,软件可信性的度量与保障技术,可信软件模型与形式化方法,面向电信业务和移动通信的各种可信软件设计和开发技术。

发布时间:2022-12-20 15:39

抗量子可信计算安全支撑平台技术

用户程序层的核心模块是可信服务模块TSM, 与TCMlib同时运行于用户模式. 它位于可信软件栈的最高层, 直接为应用程序提供访问安全芯片的服务. 图1 抗量子可信计算技术体系 3 抗量子可信计算安全支撑平台技术方案 3.1 平台总体架构设计

发布时间:2023-05-01 00:00

信息安全等级保护标准(全文)

16、软件交付前应依据开发协议的技术指标对软件功能和性能等进行验收检测 17、软件安装之前应检测软件中的恶意代码(该软件包的恶意代码检测报告),检测工具是否是第三方的商业产品 18、应具有软件设计的相关文档和使用指南

发布时间:2006-06-12 00:00

信息领域新进展和新成果中华人民共和国科学技术部

经过五年的工作,在软件运行支撑技术、软件生产与设计技术、以及软件质量保障技术等前沿性关键技术方面取得突破和重要进展,构建起了具有国际竞争力的中国网络软件核心平台,为面向政务、税务、银行、证券、保险、电信、水利等领域示范应用提供了

发布时间:2024-03-18 00:00

《信息安全技术可信计算规范服务器可信支撑平台》.pdf人人文库

GBT XXXXXXXXX 信息安全技术 可信计算规范 服务器可信支撑平台1 范围 本标准描述了服务器可信支撑平台的组成结构,并规定了服务器可信支撑平台的功能和安全性要求。 本标准适用于可信计算体系下服务器中可信组件的设计生产集成管理和测

发布时间:2022-08-28 13:07

电子商务安全论文

此外,还使用了诸如Spring,Hibernate,Struts,Dom4j,Log4j等免费软件和技术。从软件设计与软件开发的角度看,电子商务安全管理软件系统的设计规划遵循了如下设计原则: (1)电子商务安全管理软件封装了许多功能强大、易于使用的软件功能模块,对于

发布时间:2023-02-26 00:00

湖南召开科技奖励大会尹泽勇何继善获杰出贡献奖新闻中心中南

6、20134026医药自动化生产线产品质量视觉检测机器人技术及应用 完成单位:湖南大学,湖南千山制药机械股份有限公司 完***员:王耀南,刘祥华,吴成中,张辉,陈铁健,张耀 7、20134030基于网络的可信软件大规模协同开发环境核心技术及其应用 完成单

发布时间:2020-03-26 00:00

《计算机组成与设计硬件/软件接口》5.5可信存储器层次(可用性

SEC/DED 指 Single Error Correcting, Double Error Detecting Code (SEC/DED) 汉明编码是由理查德·汉明(Richard Hamming)发明的一种广泛应用于存储器的冗余(redundant)技术 在汉明编码之前,仍然先从简单的地方开始。

发布时间:2011-05-18 16:22

在线考试系统设计与开发论文

软件设计一般分为总体设计和详细设计两个阶段。总体设计阶段根据软件需求分析所得到的数据流程或数据结构,使用结构化设计技术,导出软件的模块结构。详细设计阶段是给出软件模块的内部过程描述。内部过程描述是模块内部的算法设计。。

发布时间:2018-09-19 00:00

国家重点支持的高新技术领域国家重点支持的高新技术领域目录与

包括:基于模型数字化定义(MBD)技术的计算机辅助产品设计、制造及工艺软件技术;面向行业的产品数据分析和管理软件技术;基于计算机协同工作的辅助设计软件技术;快速成型的产品设计和制造软件技术;具有行业特色的专用计算机辅助工程管理/产品开发

发布时间:2023-08-01 00:00

CCF第二十届全国容错计算学术会议(CCFCFTC2023)盛大召开!

“华为数据存储系统的可信设计与实践”的特邀报告;上海创景信息科技有限公司总经理张志强作了题为“可信系统软件混合开发模型”的特邀报告;凯云联创 (北京) 科技有限公司技术部负责人单晓亮作了题为“国产半实物仿真测试开发环境ETest及大学

发布时间:2013-04-23 00:00

软件设计师:加密与认证技术软件设计师希赛网

软件设计师:加密与认证技术 摘要:Hash函数提供了这样一种计算过程:输入一个长度不固定的字符串,返回一串定长度的字符串,又称Hash值。单向Hash函数用于产生信息摘要。Hash函数主要可以解决以下两个问题:在某一特定的时间内,无法查找经Hash

发布时间:2021-04-17 17:05

湘潭电化科技股份有限一体化预制泵站

5、20134024黑色岩系多金属镍钼矿强化分散与捕收-梯级浮选新技术及应用 7、20134030基于网络的可信软件大规模协同开发环境核心技术及其应用 完成单位:中国人民解放军国防科学技术大学,中国科学院软件研究所,北京大学

发布时间:2005-04-12 00:00

暖通空调软件技术及其发展

2、暖通空调软件技术 2.1 暖通空调辅助设计软件 暖通空调辅助设计软件包括辅助绘图(CAD)软件和设计计算软件,就我国的情况来说,暖通空调辅助设计软件的发展大致经历了三个阶段:起步、发展、成熟。

发布时间:2023-05-31 00:00

高企申报八大领域详细解读

嵌入式图形用户界面技术;嵌入式数据库管理技术;嵌入式网络技术;嵌入式软件平台技术;嵌入式软件开发环境构建技术;嵌入式支撑软件生成技术;嵌入式专用资源管理技术;嵌入式系统整体解决方案设计技术;嵌入式设备间互联技术;嵌入式应用软件开发技术

发布时间:2004-04-15 00:00

中国科学院软件研究所导师简介中科院软件研究所导师介绍考研帮

淮晓永可信计算与基础软件xiaoyong(at)ios.cn 梁洪亮可信计算与基础软件hongliang(at)iscas.ac.cn 郭亮可信计算与基础软件guoliang(at)iscas.ac.cn 互联网软件技术实验室周津慧软件过程技术与方法jinhui(at)itechs.iscas.ac.cn

发布时间:2016-01-01 00:00

华东师范大学国家可信嵌入式软件工程技术研究中心主任王江涛:CPS

在中国电动汽车百人会论坛(2018)的“全球智能汽车峰会”主题论坛上,华东师范大学国家可信嵌入式软件工程技术研究中心主任王江涛发表主题演讲。 以下为演讲实录: 王江涛:尊敬的李骏院士、各位专家、各位领导,大家好!首先代表何先生向大家说一声

发布时间:2024-03-01 00:00

基于CTI技术的嵌入式交换机软件设计与实现手机知网

基于CTI技术的嵌入式交换机软件设计与实现,嵌入式, CTI,交换机, VxWorks, 随着企业规模的逐步扩大,CTI(Computer Telecommunication Integration)技术的影响力已不局限于民用服务行业。在企业内部通信网中