Reliability Analysis of the GNY Logic System
Kun Rong · Journal of Information Engineering University · 2006
In the information era,network security is very important,while the security protocol is one of the key problems.There are many ways proposed to analyze the security protocols,the BAN like logic is one of the important ways and GNY logic is one of the BAN like logic,the reliability of the authentication logic system is relation to the correct of the alalytic result.In this paper,based on the reliability analysis of the GNY logic,we demonstrate that the GNY Logic is unreliable.