摘要：基于可信计算的远程证明是可信加密模块TPM的核心功能之一。本文首先介绍了远程证明基本概念和逻辑流程，其次详细介绍了基于隐私证书中心PCA的远程证明方案，然后分析了基于隐私证书中心PCA的远程证明方案的缺点，最后提出了基于安全属性的远程证明方案作为改进。 关键词：可信计算 远程证明 可信加密模块TPM 平台状态度量日志SML 平台状态寄存器PCR
上传时间： 2018-12-20
上传用户：1569496102
嵌入式系统在众多工业领域扮演着越来越重要的角色，但是因嵌入式系统的资源受限缘故，导致在嵌入式系统上很难实现复杂计算算法。此外，当前嵌入式系统设计阶段和实现阶段的分离现状，致使嵌入式系统开发耗时且昂贵。为解决这些问题，本书提出了一种低成本、可重复使用且可重构的嵌入式系统设计与实现集成开发环境。为了减少成本，该集成环境全部是采用自由和开放源代码软件，如Linux操作系统和Scilab计算平台等。 本文主要包括以下内容： 1、构建嵌入式Linux开发环境及移植相关软件包到嵌入式ARM平台，首先详细的描述了如何使用Buildroot工具包制作交叉编译器，并描述Minicom、TFTP和NFS等嵌入式开发相关工具，最后详细的描述了如何移植嵌入式图形用户界面TinyX和嵌入式窗口管理器JWM。 2、构建Scilab-EMB嵌入式计算平台，首先介绍了数值计算软件Scilab，然后详细的描述了如何在ARM系统上实现Scilab-EMB嵌入式计算平台。 3、开发Scilab数据采集工具包，实现Scilab与底层设备通讯，该工具包PC版和ARM版均支持串口和以太网接口，且均支持Modbus现场总线。PC版额外支持OPC协议。 4、基于Scilab构建虚拟控制实验室，验证该平台的可行性及性能。 本文创新点： 1、国内外率先提出了一种新的以Scilab为核心的嵌入式计算平台方案，并在国内外首次实现了Scilab到ARM平台的移植； 2、开发了Scilab-DAQ数据采集工具包，有效的实现了Scilab与底层设备的通讯。 通过虚拟实验室的建立，验证了该嵌入式控制平台能够胜任多种复杂算法。 该嵌入式计算平台解决方案和Scilab-DAQ数据采集工具包已经受到国内外同行的关注，并被多家科研机构、学校和公司所采纳和使用。
标签： Scilab-EMB ARM-Linux 嵌入式 计算
上传时间： 2013-05-29
上传用户：acon
随着云计算平台技术的迅速发展和普及，将高校教学资源、软件和数据都部署在"云"中，学生用户可以通过网络和简易的终端设备随时随地使用几乎所有的教学资源。在介绍云计算平台及特征的基础上，将云计算的概念引入了教学实践当中，论述搭建睿思网的云计算服务平台所包含的功能，指出云计算技术在高校教学中的优越性，并对未来云计算在高校中的应用进行了展望。
上传时间： 2013-11-05
上传用户：klin3139
SparseLib＋＋是可用于跨计算平台的有效的稀疏矩阵计算的C＋＋类库，软件包包括处理不同稀疏存储格式的矩阵类。包括两篇技术文档和类库的源代码（版本为1.6）
上传时间： 2014-06-03
上传用户：fnhhs
《汇编语言课程设计案例精编》源代码\案例3计算平台长度程序.rar
上传时间： 2015-02-08
上传用户：Altman
可信计算 TPM 很重要的应用底层接口封装中间层 IBM资深人员开发
上传时间： 2014-01-27
上传用户：weixiao99
汇编实例:判断闰年程序,产生随机数并运算的程序,计算平台长度程序,加减乘除四则运算,数字方阵程序,数据加密程序,代码转换程序,键盘录入数据的转换与显示,音乐演奏等
上传时间： 2015-11-13
上传用户：epson850
用java RMI编写的一个远程计算平台，用户可以向远程计算机提交计算任务（可以自己编程定义复杂的计算任务），在远程计算机运行后返回计算结果
上传时间： 2013-12-16
上传用户：wab1981
廉价pc分布式计算平台。 廉价pc分布式计算平台。 mosix, openmosix
标签： openmosix mosix 廉价 分布式计算平台
上传时间： 2015-12-10
上传用户：金宜
计算平台长度 汇编程序设计
上传时间： 2013-12-19
上传用户：xiaodu1124
