【摘 要】
：
通过对网上报税安全问题的分析,明确指出随着《电子签名法》的实施,采用PKI机制的网上报税电子数据的法律地位得到解决后,PKI的互操作性问题是影响当前网上报税安全的瓶颈。随后对网上报税应用与多个PKI互操作问题进行详细分析,提出可以采用安全中间件架构(事务传输层)来解决网上报税中PKI互操作问题。
【机 构】
：
清华大学软件学院,国家税务总局信息中心
论文部分内容阅读
通过对网上报税安全问题的分析,明确指出随着《电子签名法》的实施,采用PKI机制的网上报税电子数据的法律地位得到解决后,PKI的互操作性问题是影响当前网上报税安全的瓶颈。随后对网上报税应用与多个PKI互操作问题进行详细分析,提出可以采用安全中间件架构(事务传输层)来解决网上报税中PKI互操作问题。
其他文献
随着我国科学技术与经济的不断发展与进步,我国在电力生产建设方面也取得了举世瞩目的成就。随着人们生活水平与生活质量的不断提高,人们对电能需求量日益增加,能源紧缺问题
燃气发电机组的正常运行有利于保证正常供电。如果发电机组发生故障,不仅不能正常发电,还可能导致安全运行事故。为确保燃气发电机组正常运行,应注重发电机组故障的诊断和消
本文介绍了微电网结构、分布式发电单元及储能系统,提出了一种能实时控制系统容量的配置方案,建立了成本损耗以及多目标函数优化的体系,同时借助收敛原则得到主储能配置系统
传感器节点往往被部署在可被捕获的敌对区域,其中的密钥及安全算法可被敌人知晓,所以如何进行密钥管理成为了研究焦点。提出了一种抗捕获的密钥管理协议SELF。SELF要求各节点每经过一个规定的时间间隔,就更新一次节点的身份密钥和节点间的邻居密钥,并将原密钥作废。这样即使敌人捕获了传感器节点,也只能得到一些过期的密钥,因此SELF可以有效地防止敌人利用被捕获传感器节点中所保存的密钥来冒充合法节点。
主要研究了克服空间机器人遥控操作时延问题的虚拟建模和仿真技术。首先概述了遥操作时延问题的研究现状;然后提出了一种基于虚拟现实预显示技术解决时延问题的方案;最后开发了基于虚拟现实的无时延感的遥控操作系统,并进行了仿真实验研究。仿真结果表明,虚拟现实技术在有效克服空间机器人遥控操作大时延中发挥了重要作用。
提出基于粗糙集理论的动态类别扩展算法,可以根据新文献与已有训练规则的匹配程度,有效地进行新类别的自动扩展和新分类规则的自动生成,从而屏蔽训练集和分类规则的更新等问题。
满足多个约束的QoS路由问题已经被证明是NP完全问题。在分析了多种路由算法的基础上,设计了一种高效的多约束路由算法。该算法采用非线性路径长度计算方法。为提高算法的成功率,在节点的松弛过程中设计了节点动态路径长度计算,允许节点作多次松弛。为提高算法的执行效率,在节点正向松弛和反向估计过程中引入了受控路径的思想,使算法得到了优化。大量仿真表明,该算法在最短路径获取和路由发现成功率方面都有高效的表现。
给出一种利用信息安全、信息加密和数字认证等技术的面向PDF文档的安全电子邮件系统,其核心基本思想是通过客户机、服务器之间的请求/应答机制,通过身份认证并在网络上加密传输敏感数据,使得用户通过简单的交互操作就可以达到其所需的信息保护目的。系统的应用层面包括身份认证、数据加密发布、数据安全传输、安全数据查询检索、信息安全存储服务和Web资源的组织等技术,该系统已在实际项目上获得了应用,产生了较好的实际
BAN逻辑通过对密钥协商协议的运行进行形式化分析,研究密钥协商双方通过相互接收和发送消息从最初的信仰逐渐发展到协议最终要达到的目的,证明协议是否能够达到预期目标,以此发现协议中存在的一些缺陷。通过一个端到端协议例子的证明和分析,指出BAN逻辑对于一类密钥协商协议中存在的中间入侵攻击分析方面存在缺陷,还需要结合非形式化的分析方法来加以解决。
根据类对象之间的消息通信产生的同步消息、消息传递以及消息等待的交互特征,设计了一种有向同步交互图(DSIG)模型,提出了类继承的同步交互路径(SIAPaths)测试用例生成方法,给出了自动生成同步交互路径的算法。同时,提出了同步交互序列测试充分性准则,并从基本交互路径序列和基本交互消息序列的测试覆盖率两方面阐述了测试的可行性。