SIMULATION IN CRYPTOGRAPHIC PROTOCOL DESIGN AND ANALYSIS

摘要

Security and safety were and still are a major concern for distributed computing systems and similar networks of computer environments. A number of cryptographic protocols have been proposed to achieve security and safety of network communication. There is growing interest in using computer simulation to help with understanding, analysing and designing of dynamic complex real systems. This paper studies the Agent-based simulation system on modelling the cryptographic protocols. A general formula of Agent for the simulation of cryptographic protocols has been proposed, and the dynamical environment of the simulation, which includes encryption, decryption of messages, and communication between the Agents, has been achieved by using the Java technology. The simulation system provides an approach for the designer to analyse and verify the cryptographic protocol during the design process.