Recent Trends in Network Security and Applications
Recent Trends in Network Security and Applications
复制标题
网络安全和应用的最新趋势
DOI：
10.1007/978-3-642-14478-3_16
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Patel R
中科院分区：
文献类型：
--
作者：
Patel R
随着互联网上通用客户端的激增，安全协议的使用迅速增加，以将相关风险降至最低。在将安全协议用于保护应用程序之前，需要对其进行彻底验证。有几种方法和工具可以验证安全协议。在这些方法中，比较合适的是正式方法。本文对可用于安全协议验证的形式化方法和工具进行了综述。
With the proliferation ofuniversal clientsover Internet, use of security protocols is rapidly on rise to minimize associated risks. Security protocols are required to be verified thoroughly before being used to secure applications. There are several approaches and tools exist to verify security protocols. Out of these one of the more suitable is the Formal approach. In this paper, we give an overview of different formal methods and tools available for security protocol verification.