Security protocols verification combining existing approaches and tools
Котенко, Reznik, Shorov · Informatics and Automation · 2014
This paper evaluates existing approaches to the security protocols verification and explains why it is impossible to thoroughly verify security protocols using only one of them. To solve this problem combined verification approach which is based on the assembly of strong sides specific for different existing approaches and tools is suggested.