28493483
Abuse-Free Item Exchange
Electronic exchange is widely used in e-commerce systems. This paper mainly discusses abuse-freeness in general item exchange protocol for two parties. Based on convertible signature scheme and adapted designated verifier proof, an efficient item exchange protocol is proposed to satisfy many interesting requirements including fairness, timeliness and strong abuse-freeness.
10472791
Certified Email Delivery with Offline TTP
Email has become a standard communication method nowadays. But when it comes to important correspondences containing sensitive governmental, commercial or medical information, certified delivery is required. We present in this paper a new certified email protocol which assures fair delivery, non-repudiability, confidentiality and timeliness. To achieve definite fairness, an offline TTP is employed which will be involved only if there is a dispute.
15968114
An Efficient Explicit-time Description Method for Timed Model Checking
Timed modelchecking,the methodtoformallyverifyreal-timesystems, is attractingincreasingatten-tion from both the model checking community and the real-time community. Explicit-time descrip-tion methods verify real-time systems using general model constructs found in standard un-timedmodel checkers. Lamport proposed an explicit-time description method [17] using a clock-tickingprocess (Tick) to simulate the passage of time together with a group of global variables to model timerequirements. Two methods, the Sync-based Explicit-time Description Methodusing rendezvoussynchronization steps and the Semaphore-based Explicit-time Description Methodusing only oneglobal variable were proposed [27, 26]; they both achieve better modularity than Lamport’s methodin modelingthe real-time systems. In contrast to timed automatabased model checkerslike UPPAAL[7], explicit-time description methods can access and store the current time instant for future calcula-tions necessary for many real-time systems, especially those with pre-emptive scheduling. However,the Tick process in the above three methods increments the time by one unit in each tick; the statespaces therefore grow relatively fast as the time parameters increase, a problem when the system’stime period is relatively long. In this paper, we propose a more efﬁcient method which enables theTick process to leap multiple time units in one tick. Preliminary experimentalresults in a high perfor-mance computing environment show that this new method signiﬁcantly reduces the state space andimproves both the time and memory efﬁciency.
1947084
Fair Payment Protocols for E-Commerce
It has been widely accepted that fairness is a critical property for electronic commerce. Fair payment protocol is designed to guarantee fairness in a payment process over asynchronous network. Fairness means that when the protocol terminates, either both parties get their expected items, or neither does. In this paper we first present a new generic offline fair payment protocol with fairness, timeliness and invisibility of TTP. Then we introduce the property of abuse-freeness into electronic payment and implement a fair abuse-free payment protocol.
38699742
Dependable Transaction for Electronic Commerce
Electronic transaction becomes common practice in real world business. This paper focuses on the issue of dependability in critical transactions like electronic payment, electronic contract signing. Recent fair protocols can recover transactions from network crashes, but cannot survive local system crashes. A two-party dependable transaction protocol is proposed. During the protocol, both parties can recover the transaction from network and local system failures in a transparent way, which means that after the recovery, outcome messages would be just the same as those from a successful run of the transaction.
7625765
Solving QoS-driven Web service dynamic composition as fuzzy constraint satisfaction
The creation of value-added composite web service raises an opportunity to the formation of online B2B collaborations. However, web services are usually overlapping in functionality. How to make a choice based on non-functional factors becomes a problem that needs to be solved. In this paper, it argues that the selection of component services should be considered in a global manner and the user's QoS preferences is more appropriate to be expressed in a fuzzy way. It advocates using fuzzy set to express the user's QoS preference on a specific QoS criteria and using fuzzy expression to express the user's trade-off among QoS criteria's. The service selection problem is formalized as a fuzzy constraint satisfaction problem and deep-first branch-and-bound method is chosen to search for a solution with some adjustments to web service composition. It also develops an uncritical fuzzy consistency checking algorithm as an aid to faster search. Experiments are conducted to prove the effectiveness of the approach.
694386
A Data Storage Mechanism for P2P VoD Based on Multi-channel Overlay
It is a big challenge to provide Video-on-Demand streaming services over Internet in a scalable way. Currently, many researchers use a single channel overlay to implement the scalability of on-demand streaming services. However, in a real application environment, various channels in a P2P VOD system have different popularities, which probably cause the imbalance of data storage-capability of the whole system. It results in a problem that a mass of unpopular channels' caching capability can not be used to satisfy the data requirements of the whole system. In order to solve the problem, this paper proposes a new data-storage mechanism, which constructs a multi-channel overlay to optimize the whole system's caching-capability and greatly improves unpopular channel's caching efficiency. The experimental results show that this mechanism can achieve significant effects.
21405683
Set-Theoretical Basis for Real Numbers
twenty axioms used by Tarski which are sufficient for the arithmetic of real numbers and are to the effect that real numbers form a complete ordered field.2 Indeed, we cannot prove in L all Tarski's twenty axioms in their full generality. One of them, stating in effect that every bounded class of real numbers possesses a least upper bound, can only be proved as a metatheorem which states that every bounded nameable class of real numbers possesses a least upper bound. However, all the other nineteen axioms can be proved in L without any modification. This result may be of some interest because the axioms of L are considerably weaker than those commonly employed for the same purpose. In L variables need to take as values only classes each of whose members has no more than two members. In other words, only classes each with no more than two members are to be elements. On the other hand, it is usual to assume for the purpose of natural arithmetic that all finite classes are elements, and, for the purpose of real arithmetic, that all enumerable classes are elements. 2. The system L. In developing L, elementary logic (viz., the theory of truth functions and quantifiers) is assumed from the beginning. The single additional primitive is the two place predicate e with which we can generate formulas of L from variables and logical operators in the usual manner. The usual definitions (e.g., D9-D35 of [21) of the theory of classes and relations are assumed. In particular, let tx denote the unit class of x, x u y denote the sum class of x and y, and V denote the class of all elements. The axioms of L are given by the following three statements: Mi. tx U by f V. M2. x = y D . x e z D y e z. M3. If q is any formula of L in which y is not free, then . (3y)(x)(x e yW
16346838
Ant-MST: An Ant-Based Minimum Spanning Tree for Gene Expression Data Clustering
We have proposed an ant-based clustering algorithm for document clustering based on the travelling salesperson scenario. In this paper, we presented an approach called Ant-MST for gene expression data clustering based on both ant-based clustering and minimum spanning trees (MST). The ant-based clustering algorithm is firstly used to construct a fully connected network of nodes. Each node represents one gene, and every edge is associated with a certain level of pheromone intensity describing the co-expression level between two genes. Then MST is used to break the linkages in order to generate clusters. Comparing to other MST-based clustering approaches, our proposed method uses pheromone intensity to measure the similarity between two genes instead of using Euclidean distance or correlation distance. Pheromone intensities associated with every edge in a fully-connected network records the collective memory of the ants. Self-organizing behavior could be easily discovered through pheromone intensities. Experimental results on three gene expression datasets show that our approach in general outperforms the classical clustering methods such as K-means and agglomerate hierarchical clustering.
24647482
En-route Security Monitoring Based on an Incident Detection Algorithm for Commercial Vehicles
This paper presents the development of a real-time system for monitoring the security of commercial vehicles in road networks. Embedded in the security monitoring system is a commercial vehicle tracking and incident detection algorithm which relies on a combination of vehicle telemetry data obtained from Global Positioning Systems and on-board sensors to continuously monitor the route choice and car-following behavior of the driver. The performance of this algorithm has been tested in a microscopic simulation model, on a set of hypothetical scenarios, which included deviations from the approved routes, forced to travel at unreasonably low speeds, or even stopped at unexpected places in the network. The initial results indicate that the proposed system has good potential in detecting abnormal driving behaviors, with 100% detection rate, 6.0 seconds of mean detection time, and less than 0.5% false alarm rate.
1622406
Structure Analysis and SNR-Variance Evolution for Parallel Concatenated Coded IDMA Systems
This paper is concerned with parallel concatenated coded interleave-division multiple-access (IDMA) systems. We briefly present the transmitter/receiver structure of these systems and propose an efficient SNR-variance evolution scheme for bit-error-rate (BER) performance evaluation. The proposed evolution scheme is also useful for system performance optimization. Numerical results show that the BER performance curves obtained by simulation and evolution are quite close when the data length is long enough.