The design of security protocols is difficult and extremely complicated. In this paper, we presents a framework for modeling security protocol, UML extension for security protocol (USP), which makes it possible to the development of security protocols in an intuitive and visual way. For further security analysis of USP model, we refer to a precisely defined semantics of behavioral aspects. The formal semantics of a simplified fragment of UML builds on dynamic semantics of UML State Machines. As a case study, Denning-Sacco protocol will be described with USP. Moreover, the security protocol described with USP can be converted to an implementation or connected with existing formal analysis framework if appropriate converter tools are available.
IPSec (IP Security) provides a standard, robust, and extensible mechanism in which to provide security to IP and upper-layer protocols. But the encryption and message authentication services provided by IPsec require significant computation time. Consequently, IPsec can degrade performance obviously. The paper presents a parallel hardware structure of high performance IPSec VPN gateway to speed up the IPSec packets process, and introduces the IPSec software design in detail includes modified FreeS/WAN IPSec implementation and extended Internet Key Exchange protocol. The result of network performance test proves that the structure can fulfill the need of gigabit fast network. The paper also proposes multiple small packets assembling algorithm which is used to accelerate small packets process. The algorithm significantly improves the performance of small packets.
Interconnection network plays an important role in Massively Parallel Processing (MPP) systems. The 2-dimensional mesh (Mesh for short) has been one of the most common interconnection networks. In this paper, we propose a new 2-dimensional network topology: Hexagon Interconnection Networks. Theoretical network characteristics such as the diameter, the bisection width are discussed in detail. It is shown that Hexagon can connect more nodes than Mesh when they have same network diameter. Moreover, a store-forward routing algorithm and a deflection routing algorithm are designed for Hexagon topology. Hexagon can also be used in optical interconnection network.