排序方式: 共有49条查询结果,搜索用时 15 毫秒
11.
12.
13.
14.
15.
安全电子交易(SET)协议是一种解决互联网上信用卡安全交易的安全协议,其工作流程符合传统的信用卡工作流程和规范.它是主要由MasterCard、VisaCard、微软以及IBM等著名公司联合提出的电子商务解决方案.文中主要阐述了安全电子交易协议的协议规范和应用特点,并针对电子图书产品的特点结合安全电子交易协议,修改其部分协议规范,提出一种实际安全电子商务系统的应用方案.该方案能够解决电子图书在线交易系统的的公平性问题,同时能够保持原有的SET协议的安全性、可追究型和匿名性等电子商务协议的特点. 相似文献
16.
对密码协议模型进行了分析,引入时延Petri网分析工具,建立了一种新的安全电子交易协议的形式描述工具。利用该分析工具对安全电子交易协议中的支付部分进行了形式描述,并分析了它的安全等问题。 相似文献
17.
现代化转炉炼钢的新技术发展主要是实现转炉大型化,提高其生产和控制条件,实现科学炼钢、智能炼钢。本系统根据LD转炉冶炼的静态数学模型,结合钢厂的转炉冶炼实际生产条件,进行优化改进,减少补吹,提高钢水质量和降低成本。系统的主要功能是将LD转炉冶炼的静态数学模型转换为计算机可以处理的信息,然后将获得的结果结合实际进行对照比较,从中找出比较优的计算结果,将之应用于现实生产中。 相似文献
18.
袁志祥 《计算机工程与设计》2006,27(20):3801-3804
Web服务是微软和IBM公司为能够解决当前的信息的整合而提出的,是一种部署在Web上、面向Intemet的、基于XML的对象/组件技术;其目标是能够自动和统一地封装服务信息、服务行为、数据表示以及商务流程.商务流程的建立对于Web服务是至关重要的,因为Web服务之间的信息协调是以商务流程为基础的.因此IBM为解决该问题,提出了Web服务流程语言(web services flow language,WSFL).但是IBM提出的WSFL没有能够从并发协调的角度来阐述商务流程的建模方法,所以提出利用Petri网为模型描述工具,用于描述与分析商务流程模型,同时给出Petri网与WSFL之间的转换算法,并以实例证明了该模型用于商务流程的建模方法是切实可行的. 相似文献
19.
目前Linux作为一种源码开放、安全可靠的系统平台,已成为嵌入式系统的首选操作系统。文中主要介绍嵌入式系统Linux下邮件收发系统的设计与开发。该邮件系统按照SMTP和POP3协议的规范,实现邮件系统的收发功能,包括邮件服务器和邮件客户端两部分。邮件服务器实现邮件的保存和传送功能。客户端可以执行邮件编辑、发送邮件和接收邮件等操作。该系统的设计坚持以方便用户为原则,它的逻辑清晰、界面简单友好,便于使用。 相似文献
20.
基于颜色Petri网的密码协议的分析 总被引:1,自引:0,他引:1
密码协议的成功设计是安全领域的关键问题之一,对密码协议进行形式化分析成为当前研究的热点,通过引入颜色Petri网来描述密码协议,并以TMN协议为例,利用Petri网的状态矩阵分析特性对其进行分析,发现并验证TMN协议的安全缺。最终说明利用Petri网分析密码协议是可行的。 相似文献