Model checking can aid the design,analysis,and verification of the cryptographic protocols used over open networks and distributed systems. In this paper we giv
Data-mining is a kind of solution for solving the problem of information exploding. Classification and prediction belong to the most fundamental tasks in data-m
SAN(System Area Network)within cluster brings high bandwidths and low latencies to IPC(Inter-Process Communication). However,the communication performance has n
In this paper, we propose a fair e-cash scheme based on [1]. On the one hand, User's anonymity is protected in our system ,On the other hand,bank can trace