SET协议中问题的分析及解决方案

文中对ＳＥＴ协议中的“ｋ ｏｕｔ ｏｆ ｎ”问题进行了全面的分析,并提出了完整的解决方案,在对ＳＥＴ付费业务流程中的两个关键性问题用ＮＤＬ逻辑进行验证后,给出了它们的Ｐｒｏｌｇｏ程序流程,全文着重于在ＳＥＴ协议中实现“防抵赖”和“可迫踪”两种安全机制,并在此基础上实现用Ｐｒｏｌｏｇ语言程序模拟验证过程,最后对电子商务的发展和今后将要做的工作做了一些初步的探讨。     

两个降低PKG信任级的基于身份的门限密码体制

在基于身份的公钥密码体制中PKG负责生成用户密钥,对PKG的信任级别过高,存在密钥托管问题.人们为解决此问题提出了很多方案但均有一定缺陷.Goyal提出了一种解决这类问题的新思路.基于该思路,提出了两种降低对私钥生成中心的信任级别的门限密码体制.在这两个体制中,利用了Goyal提出的基于身份的可追踪公钥加密体制的思想与公开可验证加密技术,有效解决了在基于身份的门限加密体制中,PKG对同一用户恶意生成多个私钥的追踪问题.对降低PKG信任级的基于身份的门限密码体制进行了形式化定义,并在所定义的形式化安全模型下证明了这两个方案可以对抗门限自适应选择密文攻击、密钥寻找攻击以及计算新密钥攻击.     

组培室环境控制与追溯管理系统的设计与开发

设计了一种基于嵌入式控制器的分布式组培室环境控制与追溯管理系统,该系统能控制组培室的生产实验的环境过程,并且首次将环境控制和基于条码的追溯管理相结合,为组培室的建设和管理提供了新的方法。该系统样机已在合作实验室试验运行。     

一种改进的可追踪门限签名方案

早先的一种具有追踪性的门限签名方案,已被证明不具有可追踪性。针对该方案存在的缺陷,对其进行改进。理论分析证明,改进的方案在发生纠纷时可打开群签名追踪实际签名者,签名者能证明自己是否参与签名,并有效抵御群体内部的伪造攻击和冒充攻击。     

一种可追踪的网络信息匿名发布方案

研究分析区块链中基于base58编码的比特币地址生成算法,在此基础上,设计一种可追踪的网络信息匿名发布方案,该方案一方面可以保护发布人的信息,实现信息匿名发布,另一方面,一旦发布人发表了不良信息,监管部门可以追踪到信息发布人。分析该算法的效率和安全性。     

无爪图成为可遍历的一个充分条件

本文给出下列定理:设G是阶为n≥3的连通无爪图,如果对每对不同的非邻顶点x,y有2|N(x)UN(y)|+d(x)+d(y)≥2n-5,则G是可遍历的.     

法治环境下塑料技术的创新与发展

通过解析国内外各项针对塑料制品的规章制度,全面分析了塑料制品中存在的单体及助剂对环境及人类健康的危害,提出了塑料行业从业人员应熟知法规内容、掌握标准方法、建立溯源管理体系、大力发展去重金属化、高相对分子质量化的助剂产品,提升助剂的协效作用等建议,以促使塑料行业在法治环境中健康发展。     

基于蒙特卡罗法的冲击力溯源系统不确定度评定

利用蒙特卡罗方法对多变量的冲击力溯源系统进行不确定性量化评定。该方法首先建立冲击力溯源系统各不确定变量的表征模型;再根据抽样空间相邻迭代解的误差限,建立样本量的适应度函数;最后利用适应度函数使冲击力测量模型的输入变量最佳逼近总体分布。为了验证该方法的有效性,利用该方法对冲击力溯源系统进行不确定度评定,评定结果表明,在95%的置信水平上,冲击力溯源系统的相对扩展不确定度优于0.818%,其不确定性主要来源于落锤上表面加速度分布不均匀和横向偏摆。     

煤炭检测数据采集系统的开发及应用

为了克服传统煤炭检测中存在的人为因素干扰检测结果以及数据准确度差等问题,对煤炭检测数据采集系统进行开发和应用以适应现代煤炭检测实验室的自动化检测、信息化管理和智能化监管需求。结合开发应用技术环境、安全保障措施以剖析包括平台层、数据采集层、管理支持层、决策分析层的系统架构,系统功能模块设计包涵煤炭检测作业流程、资源管理、样品管理、质量控制管理、质量体系管理等方面,并结合系统特点及应用情况对检验数据传递流程进行优化及系统开发。煤炭检测数据采集系统在煤炭检测过程中可从采、制、化等生成全流程可溯源管控,实现煤炭检测过程盲样管理、结果自动计算、报告自动生成,提高了煤炭检测实验室的细化管理水平及减少人为因素干扰,能够为企事业单位提供及时、准确、可靠的煤炭数据支持。