基于一体化指挥平台的防空指控系统软件体系结构

基于一体化指挥平台的防空指挥系统软件由防空专用软件和一体化指挥平台软件组成,实现对上与联指的互联互通,对下与下级作战群(分)队的指挥控制.阐述防空指挥控制系统软件与一体化指挥平台的关系,采用分层的思想对防空指挥系统软件体系结构进行研究.     

基于可信计算平台的体系结构研究与应用

介绍了可信计算平台的关键部件组成及其功能,描述了可信计算平台的特点和原理机制,以及目前可信计算平台的研究进展情况,分析了基于可信计算平台技术的应用前景和存在的问题,并对未来的趋势进行了展望。基于863项目“可信计算系统平台”的安全芯片研制成功,展现了可信计算的良好应用前景。     

基于可信计算的终端安全体系结构研究与进展

基于可信计算的终端安全体系结构研究是当前信息安全领域研究的新方向。本文首先对可信计算的关键模块TPM以及若干关键技术进行了深入的分析,而后概述了几个典型的基于可信计算的终端安全体系结构,最后讨论了当前体系结构研究存在的问题和今后的研究方向。     

食品安全可追溯系统综述

“民以食为天,食以安为先”,随着社会的发展和生活水平的提高,食品安全已成为消费者关注的热点、难点问题。食品安全可追溯系统作为食品质量安全管理的有效手段,越来越受到政府和消费者的普遍关注。研究开发“从田间到餐桌”的食品安全可追溯系统,有利于改善生产者和消费者信息不对称的现象,完善食品监管体系,维护国家食品安全及信誉。     

可信计算环境下数据库系统安全体系结构研究

本文分析了可信计算环境下数据库应用系统安全问题存在的环节,研究设计了可信计算环境下数据库系统安全体系结构,给出具体实现方法。     

新型可信计算平台体系结构研究

现行通用个人计算机基于开放架构,存在诸多攻击点,然而传统可信计算平台在解决个人PC安全问题的同时暴露出可信引导过程存在不可恢复的不足.针对这些安全问题,基于可信密码模块(TCM)提出一种新MJ可信计算平台体系结构.该结构具有可信引导失败时的自恢复机制,同时提供低于操作系统层的用户身份验证功能,通过基于TCM芯片的完整性度量、信任链的传递以及可信引导等技术,进而保证可信计算平台能够完成更安全的计算和存储工作,使可信计算平台达到更高的安全性、可信性和可靠性,同时该体系结构具有可信引导失败时的自恢复机制,可解决现有可信计算平台引导失败时无法正常启动的不足.     

肉类食品安全追溯系统的可信体系结构

目前,各种不同形式的肉类食品安全追溯工程普遍存在缺乏理论指导和统一规划、建设目标不清晰、工程设计不合理、缺少技术标准体系等问题,从根本上解决只停留在信息的追溯上而没有通过安全流通控制理论来保证传递信息不被篡改,传递信息的可信问题。本项目针对基于上述问题和需求,围绕肉类食品安全可追溯体系,以可信计算和安全体系结构理论为指导初步提出一个完整的可信安全体系结构,以改进和推动食品安全追溯系统的实施。     

并行自动测试系统软件体系结构建模

针对并行自动测试系统软件开发难度大的问题,对其软件体系结构进行研究,提出层次化风格的并行自动测试系统软件体系结构及五视图的软件体系结构描述模型,建立该软件体系结构的需求功能视图、框架视图、静态结构视图、动态过程视图和物理实现视图。该描述模型可以对并行自动测试系统的软件体系结构进行全面的分析,有利于指导系统的实际开发。     

学籍信息系统软件体系结构设计

分析了软件体系结构的几个难点,提出了将功能代码分别放在业务逻辑层与数据层的思路,并结合学籍信息系统体系结构参考模型,解决了综合结构设计中的一些关键技术。     

计算网格软件体系结构研究

从研究集成网格计算资源成为具有应用逻辑的复合计算出发,设计了一个新型的分布式软件体系结构—CGSA(Computing-GridSoftwareArchitecture)。CGSA以XML方式显性表达复合计算的组合逻辑,屏蔽了各计算源间的异构性,具有联邦管理自治、计算透明和完备、可扩展、负载平衡等特点。基于CGSA结构,可以充分利用网格计算能力,快速构造新的应用,同时也为集成企业旧的业务系统提供了新的方法。     

基于普适计算的动态软件体系结构建模

提出一种基于普适计算的自适应演化模型——DESM,通过对模型的内部定义来描述其结构功能,利用框图对普适环境的起因与演化时机的选择进行建模,从而确保系统的一致性。给出一个信息管理系统案例,验证了该模型的可行性与有效性,并借助时序图描述其内部演化过程。     

基于RFID的食品安全监测追溯系统的设计

采用无线射频识别技术(Radio Frequency Identification,RFID)、无线数据通信技术(GPRS)、网络技术及数据库技术等,构建食品安全监测追溯系统。该系统可以对食品从生产养殖、出场、流通批发到零售环节等进行全过程跟踪、追溯,实现食品的安全监测管理。     

基于区块链的食品溯源系统设计

传统食品溯源系统数据层均由核心企业维护的关系型数据库组成,无法保证数据的安全性,且效率低、维护成本高。食品供应链参与主体众多,消费者购买到有质量问题食品往往维权困难,食品的问题来源难以界定,不能及时精准追溯到具体责任人。针对这些问题,设计了一种基于区块链的食品溯源系统,该系统在Ethereum（以太坊）平台中开发,除了实现去中心化、防篡改、可追溯等功能外,还在区块链系统中引入食品药品监督局节点,实现了数据变更服务和食品召回功能。消费者不仅能查询食品的全流程溯源信息,还能在该溯源系统中进行维权投诉。     

SaaS模式的食品类防伪溯源系统

SaaS作为云计算服务化的重要展现方式,已经在市场上兴起了完全创新的软件应用模式.它利用互联网提供的计算服务,采用针对特定行业和领域的SaaS服务软件,不论从技术上还是商务上都将节约不少人力、财力成本,也更有利于提高社会资源的利用率和共享化.为进一步提高国内食品的安全性,全面推广食品监控管理软件的应用,提出了基于SaaS模式的食品类防伪溯源系统.结合了食品行业的业务需求及SaaS模式的服务特色,深入探讨了系统实现过程中SaaS技术存在的难点,最后成功构建了能达到四级成熟度模型的SaaS系统,该系统不仅能够保障国内食品的安全流通,还能有效地促进SaaS模式的商务系统平台在云计算中的应用,为智慧政府的食品安全云提供了应用解决方案.     

SaaS模式的食品类防伪溯源系统①

SaaS作为云计算服务化的重要展现方式,已经在市场上兴起了完全创新的软件应用模式．它利用互联网提供的计算服务,采用针对特定行业和领域的SaaS服务软件,不论从技术上还是商务上都将节约不少人力、财力成本,也更有利于提高社会资源的利用率和共享化．为进一步提高国内食品的安全性,全面推广食品监控管理软件的应用,提出了基于SaaS模式的食品类防伪溯源系统．结合了食品行业的业务需求及SaaS模式的服务特色。深入探讨了系统实现过程中SaaS技术存在的难点,最后成功构建了能达到四级成熟度模型的SaaS系统,该系统不仅能够保障国内食品的安全流通,还能有效地促进SaaS模式的商务系统平台在云计算中的应用,为智慧政府的食品安全云提供了应用解决方案．     

一种面向普适计算的适应性软件体系结构风格

普适计算软件需要适应用户需求和运行环境的动态变化.这一特点使得软件复杂度空前增加,迫切需要以软件体系结构为代表的架构/设计层面重用手段来支持其高效开发.在以适应性为中心的普适计算空间抽象模型基础上,提出了一种面向普适计算的软件体系结构风格UbiArch,并从概念视图、运行视图和开发视图这3个维度对该软件体系结构风格进行了阐述.UbiArch支持软件实体按需加入应用、主动适应环境的行为模式,实现了软件适应能力的高层次重用,同时与构件等成熟软件技术的紧密结合也保证了其可实践性.支撑该体系结构风格的软件平台原型系统及其上的应用验证了UbiArch的有效性和通用性.     

煤矿安全监控系统联网软件的架构设计研究

软件架构是降低成本,改进质量,按时交付产品和按需交付产品的关键因素。通过对软件分层架构技术的介绍及分析,结合煤矿安全监控系统联网软件的实际需求,选择了适合该系统的三层架构方案,并详细介绍了表示层、业务逻辑层、数据访问层在系统中的设计和实现过程。     

基于物联网技术的乳业食品质量安全跟踪追溯系统研究

传统乳业食品跟踪追溯系统不能有效地应对三聚氰胺等乳业食品质量安全问题,因而需要研究基于物联网技 术的乳业食品安全跟踪追溯系统。在探讨了物联网技术与乳业食品安全跟踪追溯系统的概念和关系后,着重分析了当前一些 较为重要的跟踪追溯系统,并指出了这些策略的优缺点。最后分析了当前亟待解决的问题,展望了其未来的发展趋势。     

软件实时可信度量:一种无干扰行为可信性分析方法

可信度量作为可信计算"度量、存储、报告"三大核心功能的基础，到目前为止仍未有有效的数学理论以及运行时（runtime）度量方法.其困难在于3点：一是如何建立涵盖不同主流"可信"定义的通用数学模型；二是如何依托数学模型构建运行时可信度量理论；三是如何将上述模型和理论映射到真实信息系统以形成可实践的实时度量方法.提出了一种基于无干扰的软件实时可信度量方法.首先，利用无干扰模型解释了各类主流的可信定义，表明无干扰模型可以作为可信计算通用数学模型的一个选择.其次，基于无干扰模型提出了一种软件实时可信度量理论，其基本思想是将系统调用视作原子动作，将软件真实行为α看做系统调用的序列，并基于α中所有系统调用所属安全域之间的无干扰关系计算软件理论上的预期行为β，得到α和β之后，利用无干扰等式判定两者之间是否存在偏差，从而实现对软件可信性的实时度量.最后，给出了实时可信度量算法，算法的时间复杂性为O（1）.原型实验结果表明了所提出的方法的有效性.