Formal Analysis and Check of Security Protocol Based on Temporal Logic of Actions TLA
Shigong Long · Journal of Guizhou University · 2012
with the insecurity of network protocol,formal analysis and check of the security protocol is very important.And model checking based on Temporal Logic of Actions TLA is one of important form validation method.This paper mainly analyses and checks H.530 protocol with HLPSL based on TLA language.