基于SET协议的网上支付系统

网上安全始终是发展电子商务的一个焦 点。ＳＥＴ协议正是为了满足Ｂ－Ｃ（ＢＵＳＩＮＥＳＳ ＴＯ ＣＯＮＳＵＭＥＲ）交易模式的安全需要而出现的,它被用来保护网上使用信用卡支付的安全,ＳＥＴ协议采用了ＣＡ认证和诸如：对称密钥、公钥加密、数字签名、数字信封等加密技术来实现其功能。文章介绍了ＳＥＴ协议所使用主要技术的工作原理,并通过一个具体的解决方案进一步说明了 ＳＥＴ在实际中的运用,最后对ＳＥＴ协议作出了评价和展望。     

电子商务中网上购物的安全协议—SSL与SET

主要提出了电子商务中网上购物的现状以及安全性问题,介绍了目前网上购物系统通用的两个协议：安全套接层协议（ＳＳＬ）和安全电子交易（ＳＥＴ）,并对两者进行了比较,介绍了两者的应用情况。     

电子商务中网上购物的安全协议—SSL与SET

主要提出了电子商务中网上购物的现状以及安全性问题,介绍了目前网上购物系统通用的两个协议：安全套接层协议（ＳＳＬ）和安全电子交易（ＳＥＴ）,并对两者进行了比较,介绍了两者的应用情况。     

SET协议的持卡者证书申请过程的分析

对ＳＥＴ协议中的持卡者证书申请过程进行了分析,给出了有关协议数据的形式化描述,并在此基础上对其安全性进行了分析.     

一种新型的无线移动计算网络

该文重点对ＭＡＮＥＴ的特点，协议线，无线网络中的“隐蔽终端”和“暴露终端”以及ＭＡＮＥＴ的路由等技术问题进行了分析研究，并给出了在ｏｎ－ｄｅｍａｎｄ方法中通过路由发现和路由维护的路由总是解决方案。     

测试集自动生成工具TUGEN的设计与实现

测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现ＴＵＧＥＮ作了介绍．ＴＵＧＥＮ基于一种称为ＥＢＥ的形式模型，ＥＢＥ模型只对协议的外部行为进行描述，而且可以从协议的Ｅｓｔｅｌｌｅ或ＬＯＴＯＳ描述中转化得到．ＴＵＧＥＮ以协议的ＥＢＥ－ＮＦ描述作为输入，使用我们新提出的一套测试事例生成策略，最后产生出ＴＴＣＮ．ＭＰ格式的测试集．我们用Ｘ．２５ＬＡＰＢ协议的ＥＢＥ－ＮＦ描述作为例子，对ＴＵＧＥＮ     

Internet的安全通信协议SSL与SET的剖析和比较

本文就Ｉｎｔｅｒｎｅｔ上目前采用的ＳＳＬ与ＳＥＴ协议的安全性进行分析与比较,并对其在电子商务中的应用做出预测。     

基于高级Petri网的OSI网络协议描述与验证

本文对ＯＳＩ参考模型进行了全面的分析，并介绍了一种高级Ｐｅｔｒｉ网，称为ＥＰｒ／Ｔ网系统，该系统可作为ＯＳＩ网络协议的形式描述工具，然后，利用ＥＰｒ／Ｔ网系统对（Ｎ）层通信协议进行了形式描述，并阐明了ＯＳＩ网络协议形式描述的一般方法。最后，对协议的有界性、活性和回归性等性质进行了验证。     

SET协议安全性分析

安全电子交易协议ＳＥＴ正逐渐成为实现电子商务系统的工业标准,本文就ＳＥＰ中的信息保密性、信息完整性、信息完整性、身份认证等安全机制进行了分析与讨论。     

应用TCP／IP实现UNIX与WINDOWS的网络通信

阐述了 Ｓ Ｏ Ｃ Ｋ Ｅ Ｔ 的实质,并实现了基于 Ｔ Ｃ Ｐ／ Ｉ Ｐ 协议进行 Ｕ Ｎ Ｉ Ｘ 与 Ｗ Ｉ Ｎ Ｄ Ｏ Ｗ Ｓ 网络间的信息交换。     

煤矿井下安全监控分站的设计及其仿真实现

为了设计一种具有低成本、低功耗、易操作、功能强且可靠性高的煤矿井下安全分站,针对煤矿安全生产实际,文章提出了采用MCS-51系列单片机为核心、具有CAN总线通信接口的煤矿井下安全监控分站的设计方案;首先给出煤矿井下安全监控分站的整体构架设计,然后着重阐述模拟量输入信号处理系统的设计过程,最后说明单片机最小系统及其键盘、显示、报警、通信等各个组成部分的设计;为验证设计方案的可行性与有效性,使用Proteus软件对设计内容进行仿真验证,设计的煤矿井下安全监控分站具有瓦斯、温度等模拟量参数超标报警功能和电机开停、风门开闭等开关量指示功能;仿真结果表明:设计的煤矿井下安全监控分站具有一定的实际应用价值.     

Call for Papers The 6^th International Conference on Grid and Cooperative Computing

Recent years have seen rapid advances in various grid-related technologies, middleware, and applications. The GCC conference has become one of the largest scientific events worldwide in grid and cooperative computing. The 6th international conference on grid and cooperative computing (GCC2007) Sponsored by China Computer Federation (CCF),Institute of Computing Technology, Chinese Academy of Sciences (ICT) and Xinjiang University ,and in Cooperation with IEEE Computer Soceity ,is to be held from August 16 to 18, 2007 in Urumchi, Xinjiang, China.     

View-based model-driven architecture for enhancing maintainability of data access services

In modern service-oriented architectures, database access is done by a special type of services, the so-called data access services (DAS). Though, particularly in data-intensive applications, using and developing DAS are very common today, the link between the DAS and their implementation, e.g. a layer of data access objects (DAOs) encapsulating the database queries, still is not sufficiently elaborated, yet. As a result, as the number of DAS grows, finding the desired DAS for reuse and/or associated documentation can become an impossible task. In this paper we focus on bridging this gap between the DAS and their implementation by presenting a view-based, model-driven data access architecture (VMDA) managing models of the DAS, DAOs and database queries in a queryable manner. Our models support tailored views of different stakeholders and are scalable with all types of DAS implementations. In this paper we show that our view-based and model driven architecture approach can enhance software development productivity and maintainability by improving DAS documentation. Moreover, our VMDA opens a wide range of applications such as evaluating DAS usage for DAS performance optimization. Furthermore, we provide tool support and illustrate the applicability of our VMDA in a large-scale case study. Finally, we quantitatively prove that our approach performs with acceptable response times.     

A pragmatic multi-method investigation of discrepant technological events: Coping,attributions, and ‘accidental’ learning

Discrepant technological events or situations that entail a problem, a misunderstanding or a difficulty with the Information Technology (IT) being employed, are common in the workplace, and can lead to frustration and avoidance behaviors. Little is known, however, about how individuals cope with these events. This paper examines these events by using a multi-method pragmatic approach informed by coping theory. The results of two studies – a critical incident study and an experiment – serve to build and test, respectively, a theoretical model that posits that individuals use a variety of strategies when dealing with these events: they experience negative emotions, make external attributions, and adopt engagement coping strategies directed at solving the event, eventually switching to a disengagement coping strategy when they feel they have no control over the situation. Furthermore, users’ efforts may result in ‘accidental’ learning as they try to overcome the discrepant IT events through engagement coping. The paper ends with a discussion of the results in light of existing literature, future opportunities for research, and implications for practice.     

The Distributed Time-Triggered Simulation Scheme: Core Principles and Supporting Execution Engine

Distributed real-time simulation is a young technology field but its practice is under increasing demands. In recent years the author and his collaborators have been establishing a new approach called the distributed time-triggered simulation (DTS) scheme which is conceptually simple and easy to use but widely applicable. The concept was initiated in the course of developing a new-generation object-oriented real-time programming scheme called the time-triggered message-triggered object (TMO) programming scheme. Some fundamental issues inherent in distributed real-time simulation that were learned during recent experimental studies are discussed along with some approaches for resolving the issues. An execution engine developed to support both the TMOs engaged in control computation and the TMOs engaged in DTS is also discussed along with its possible extensions that will enable significantly larger-scale DTSs.     

Software-Konfigurationsmanagement in großen Softwareprojekten

Zusammenfassung Mit zunehmender Größe der Softwaresysteme verschärfen sich die für die Software-Herstellung typischen Probleme: Beherrschen großer Objektmengen, Erhalten der Systemkonsistenz, Kontrolle der ständigen Änderungseinflüsse und Gewährleisten einer langen Lebensdauer. Die Disziplin Konfigurationsmanagement bildet den methodischen Ansatz, diese Probleme besser zu beherrschen. Software-Konfigurationsmanagement faßt die Herstellung von Softwaresystemen als eine Abfolge von kontrollierten Änderungen an gesicherten Zwischen- und Endergebnissen auf. Dargestellt werden die Objekte und Funktionen des Software-Konfigurationsmanagements sowie die hierfür in großen Software-Projekten benötigten Methoden, Instanzen und Hilfsmittel.     

Information for Authors

正http://www.zju.edu.cn/jzus http://www.springerlink.com Aim The Journals of Zhejiang University-SCIENCE(A/B/C)are edited by the international board of distinguished Chinese and foreign scientists,and are aimed to present the latest developments and achievements in scientific research in China and     

Editorial:Brain-machine interface(BMI) and cyborg intelligence

正Brain-machine interfaces(BMIs)aim at building a direct communication pathway between the brain and an external device,and represent an area of research where significant progress has been made during the past decade.Based on BMIs,mind information can be read out by neural signals to control     

Information for Authors

正http://www.zju.edu.cn/jzus http://www.springerlink.com Aim The Journals of Zhejiang University-SCIENCE(A/B/C)are edited by the international board of distinguished Chinese and foreign scientists,and are aimed to present the latest developments and achievements in scientific research in China and overseas to the world’s scientific circles,especially to stimulate     

SCIENCE CHINA Information Sciences SUBJECT INDEX TO VOLUME 57(2014)

正~~