Security is an ever important issue in computer networks. Current network security, which is mostly based on (symmetric and asymmetric) key encryption, depends on the soundness of the security protocols as well as the strengths of the encryption algorithms. We propose a logic framework to verify or test the soundness of the security protocols. The logic framework can identify the hidden weaknes...

In this paper we show two attacks against universally resilient mix-nets. The first attack can be used against a number of mixnets, including Furukawa-Sako01 [6], Millimix [11], Abe98 [1], MiP-1, MiP-2 [2, 3] and Neff01 [19]. We give the details of the attack in the case of Furukawa-Sako01 mix-net. The second attack breaks the correctness of Millimix [11]. We show how to counter these attacks, ...

By the mid-1990s, the ―machinery of death‖ was not only working, but in fact, humming. 2 Year after year, hundreds of additional persons were added to death row, and the number of executions climbed to heights not seen in many decades. 3 In 1994 alone, 315 new death sentences were imposed—a record never exceeded, and matched only once (in 1996), after executions resumed in 1976 following Furman...

Timeliness is usually an indispensable attribute of planning and problem solving for resource allocation in command, control and communication (C3) systems. The success of such a system is judged on its ability to respond to scheduled and unscheduled tasks within a permissible time period. The response is based on a plan that covers the following activities: resource allocation, plan execution ...

Data-defectives are always occurred during collecting urban traffic flow information due to all kinds of sensors’ failures. To mend the defective urban traffic flow information data, a new approach named SARBF neural network fitting is presented. It combines analysis based on spatial autocorrelation and RBF neural network fitting method. The complete data is determined to mend the defective dat...