【摘 要】
：
作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此基础上,对SET
【机 构】
：
国家智能计算机研究开发中心,广西师范大学数学与计算机科学系,中国科学院软件研究所
论文部分内容阅读
作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此基础上,对SET的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了SET协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.
其他文献
用碳素工具钢T7代替蓝宝石制作的炮筒 ,大大降低了飞片冲击起爆试验的费用 ,对炸药的冲击起爆机理的研究提供了便利
The use of carbon tool steel T7 instead of the sapph
根据剪滞后模型及复合材料中晶须的实际分布状况 ,分析了基体的承载系数。结合 X射线应力测量原理 ,建立出基体承载系数的 X射线应力测量方法。计算表明 ,压铸态及挤压态 Si
借助于SEM -EDAX研究了电熔锆 -莫来石材料中ZrO2 -莫来石共晶的组成 .共晶中的ZrO2 晶体形态依莫来石基晶的切面方位可显示为卵状或条状 ,即定向共晶 .按统计结果共晶组成为
采用结构动力修改的灵敏度方法对高层剪力墙结构动力修改进行了试验研究 ,得到的数据可供设计人员参考 ,并为评价高层建筑的抗震性及安全性提供了依据。
The dynamical modi
通过对价值链管理深人研究,利用BP人工神经网络对价值链风险管理进行评价,采用专家评分法,获得实际的数据,对模型进行仿真和测试,证实价值链风险管理的指标体系的实用性和BP
:文中提出一种能使机载红外搜索跟踪系统 (IRSTS)在单站单波段条件下实现被动动态测距测速的技术方案。该方案融合了红外探测器对目标辐射的响应信息 ,利用机载惯性导航系统(
提出一种实现机器人锅炉集箱管座多层多道焊的圆弧轨迹的规划算法 ,通过示教的 3点规划出多层多道的圆弧轨迹 ,并满足圆弧首尾相搭接的工艺要求 .对于集箱的轴向或径向排列的管座 ,即使存在空间定位误差和热变形 ,只要测量出该管座相对于示教管座的位置和姿态 ,不需重新示教该算法就可规划出该管座的多层多道的圆弧轨迹 .本算法已在实际生产中得到应用 ,证明满足焊接工艺的要求 .
熔滴旋转喷射过渡MAG焊是用于钢结构的一种高效焊接方法 ,在窄间隙焊和角焊缝时还可以克服焊接时侧壁的熔合不良等缺陷。本文用高速摄影方法拍摄了Ar+O2 保护气体时旋转喷射
提出了一种基于特征曲线的快速人面识别方法 .该方法首先对不同姿态和大小的人面进行定位和归一化 ,然后在归一化后的人面图像上建立多种特征曲线 .作为对人面特征的描述 ,最后利用傅里叶描绘子对特征曲线进行解析提取关键特征 ,得到人面的表征向量 .使用此方法在 130 0幅人面图像上进行了实验 ,结果表明 ,此方法在速度和准确度方面都具有较好的性能 ,而且对有不同姿态和表情的人面的识别具有一定的鲁棒性
建立了内燃机整机振动多自由度主动控制系统模型 ,推导了内燃机整机振动全状态施控最优控制规律和部分状态施控次优控制规律 ;以 41 35型柴油机为例 ,用计算机模拟了全状态施