Auto-Transformation of the Process Algebra Specification of Security Protocols into Logic Programs
LI Zhou-jun · Computer Engineering and Science · 2006
Security protocols are used to provide secure communications over open network,which are essentially concurrent programs in distributed systems,and can be described as a parallel composition system of multiple role-processes by process algebra.By using abstract methods,the security protocols' process model can be transformed into a logic program.By computing the fixedpoint of the logic program,we can verify the parallel interleaved operations of the security protocols' infinite sessions.This paper uses the Objective Caml language,and automatically translates the description of process algebra for Security protocols into relative logic programs.