Home   >   Demonstrators   >   MAUDE-NPA PROTOCOL ANALYZER

Maude-NPA Protocol Analyzer

Demonstrator|elp

Description
analysis tool for cryptographic protocols
Member
Address
Department of Information Systems and Computing U. Polytechnic of Valencia Camino de Vera S/N 46.020 Valencia
Province
Valencia

DEMONSTRATOR INFORMATION

DESCRIPTION

analysis tool for cryptographic protocols

POSSIBILITIES

-

TECHNOLOGICAL ENABLER

Ciber Security
Security & Privacy By Design tools

Program verification, safety analysis, provable security. Protocol crypto-analysis. Automated analysis, modeling, verification, synthesis, learning, debugging and optimization of complex systems and models