TY -的A2翁Chi-Yao盟——Houmani Hanane盟——Mejri Mohamed PY - 2012 DA - 2012/11/25 TI -正式分析组和NSL协议使用解释Functions-Based方法SP - 254942六世- 2012 AB -大多数应用程序在互联网等电子银行和电子商务使用设置和NSL协议来保护客户端和服务器之间的通信通道。然后,是至关重要的,以确保这些协议尊重保密等安全属性,身份验证和完整性。在本文中,我们分析了设置和NSL协议的保密性(保密)属性。执行这个分析中,我们使用functions-based解释方法。解释背后的主要思想functions-based技术是充分条件,允许给保证加密协议方面的保密性质。提出条件的灵活性允许验证集和NSL等日常协议。同时,该方法可以在不同的假设条件下,如各种各样的入侵者的能力包括加密原语的代数性质。NSL协议为例,分析了有无同态属性。我们也显示,使用SET协议,这种方法的实用性纠正缺点和问题发现在分析。SN - 2090 - 7141你2012/254942 / 10.1155——https://doi.org/10.1155/2012/254942——摩根富林明-《计算机网络与通信PB Hindawi出版公司KW - ER