Of Aydos' Protocol Based on SVO Logic
Xinrong Liu · 2009
In a distributed communication network,whether the communication protocol achieves its security aims or not is critical to design a security Cryptography protocol.The method of security protocol's formal analysis-structure method based on reasoning can be used analyzing communication protocol.A communication protocol proposed by Aydos is analyzed by SVO logic,find some flaws and the corresponding attack procedures are described following。