The AVISPA Project

Description: AVISPA aims at developing a push-button, industrial-strength technology for the analysis of large-scale Internet security-sensitive protocols and applications. This technology will speed up the development of the next generation of network protocols, improve their security, and therefore increase the public acceptance of advanced, distributed IT applications based on them. We at AVISPA will achieve this by advancing specification and deduction technology to the point where industry protocols can be specified and automatically analyzed. A central aim of the project is then to integrate this technology into a robust automated tool, tuned on practical, large-scale problems, and migrated to standardization bodies, whose protocol designers are in dire need of such tools.

Keywords: security protocols, security applications, automated verification, formal methods, push-button technology, model checking, Boolean satisfiability, lazy data-types, constrained theorem proving

Tags: project, avispa, webmaster, security, technology, protocols, applications, push, automated, button, data, constrained, proving, lazy, theorem, types, methods, formal, satisfiability, model, verification, boolean, checking,

Avispa-project.org

Content Revalency: Title: 0.00%   Description: 0.00%   Keywords: 0.00%  |  Document size: 1,999 bytes More info: Whois - Trace Route - RBL Check

AVISPA-PROJECT.ORG - Site Location
Country/Flag	United States
City/Region/Zip Code	, ,
Organization	Verizon Business
Internet Service Provider	Verizon Business