206892695
A new dependable exchange protocol
As electronic transaction becomes common practice in real-world business, its dependability develops into a major concern, especially in critical transactions, e.g., electronic payment and electronic contract signing. Many recent fair-exchange protocols can recover the transaction from network failures; however, few can survive local system failures. In this paper, we propose a new Dependable Exchange Protocol. With proper convertible signature scheme and message logging method, the exchange protocol provides a recovery method for network and local system failures. To the best of our knowledge, this protocol is the first fault-tolerant exchange protocol in the context of offline TTP and asynchronous channels.
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.
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.
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.
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.
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.
16457860
A New Secure Authentication Scheme Based Threshold ECDSA For Wireless Sensor Network
Security is an important issue for Wireless Sensor Network (WSN), especially for security-sensitive application. In this paper, we address secure authentication problems in WSN. First, we propose distributed authentication model for WSN, and secondly, advance the threshold ECDSA authentication scheme in this model, finally construct a new way to choose distributed CA severs of threshold authentication scheme. Our simulation results and analysis show that our scheme can reduce effectively bandwidth and computation resources while providing a robust, highly secure and highly available authentication service.
10887794
Packet doppler: network monitoring using packet shift detection
Due to recent large-scale deployments of delay and loss-sensitive applications, there are increasingly stringent demands on the monitoring of service level agreement metrics. Although many end-to-end monitoring methods have been proposed, they are mainly based on active probing and thus inject measurement traffic into the network. In this paper, we propose a new scheme for monitoring service level agreement metrics, in particular, delay distribution. Our scheme is passive and therefore will not cause perturbation to real traffic. Using realistic delay and traffic demands, we show that our scheme achieves high accuracy and can detect burst events that will be missed by probing based methods.
4407504
Optimal ISP subscription for Internet multihoming: algorithm design and implication analysis
Multihoming is a popular method used by large enterprises and stub ISPs to connect to the Internet to reduce cost and improve performance. Recently researchers have studied the potential benefits of multihoming and proposed protocols and algorithms to realize these benefits. They focus on how to dynamically select which ISPs to use for forwarding and receiving packets, and assume that the set of subscribed ISPs is given a priori. In practice, a user often has the freedom to choose which subset of ISPs among all available ISPs to subscribe to. We call the problem of how to choose the optimal set of ISPs the ISP subscription problem. In this paper, We design a dynamic programming algorithm to solve the ISP subscription problem optimally. We also design a more efficient algorithm for a large class of common pricing functions. Using real traffic traces and realistic pricing data, we show that our algorithm reduces users' cost. Next we study how ISPs respond to users' optimal ISP subscription by adjusting their pricing strategies. We call this problem the ISP pricing problem. Using a realistic charging model, we formulate the problem as a non-cooperative game. We first prove that if cost is the only criterion used by a user to determine which subset of ISPs to subscribe to, at any equilibrium all ISPs receive zero revenue. We then study a more practical formulation in which different ISPs provide different levels of reliability and users choose ISPs to both improve reliability and reduce cost. We analyze this problem and show that at any equilibrium an ISP's revenue is positive and determined by its reliability.
8487669
An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning
One of the major problems of deploying RSVP in the mobile environment is called the advance resource reservation problem. If an RSVP reservation path is reserved in advance in the subnet that a mobile node will visit, the mobile node can continue its QoS session smoothly when it hands over to that subnet. However, if too many network resources are used for advance reservation, new QoS sessions originating from that subnet will experience a higher probability of being blocked needlessly. In this paper, we propose a new advance resource reservation scheme that properly constrains the amount of advance reservations in a subnet and only allows the mobile nodes with large value of session-to-mobility ratio (SMR) to make advance reservation. We evaluate the proposed scheme and the results show that our scheme can effectively reduce both active and passive reservation blocking probabilities and achieves a better utilisation of the network resources, especially when the traffic intensity is high.
9852672
NXG06-6: On the Efficient Implementation of Pipelined Heaps for Network Processing
Priority queues are often used in many network processing applications. Applications include sophisticated per-flow scheduling for providing advanced quality-of-service (QoS) guarantees, fast packet buffer memory management, and exact maintenance of statistics counters for real-time network measurements. In all these applications, the priority queues used must operate at very high-speeds, e.g. at 40 Gbps rates and beyond. One widely used data structure for implementing priority queues is the heap data structure. However, the logarithmic time complexity of heap operations is often too slow for increasingly fast line rates. To achieve constant time complexity, the pipelined heap structure has been proposed. In this paper, we describe new architecture techniques for the efficient implementation of pipelined heaps. In particular, we focus on aggressive memory management and pipelining techniques.