AVISPA

Formal Security Verification of Security Protocols using the AVISPA backends: OFMC and CL-AtSe

==============================================================================================================

Name : Nikita Agrawal

OFMC output :

SUMMARY SAFE DETAILS BOUNDED_NUMBER_OF_SESSIONS PROTOCOL /home/nikita/span/testsuite/results/20172093_assignment.if GOAL as specified BACKEND OFMC STATISTICS TIME 124 ms parseTime 0 ms visitedNodes: 16 nodes depth: 4 plies

============================================================================================================== ATSE output :

SUMMARY SAFE

DETAILS BOUNDED_NUMBER_OF_SESSIONS TYPED_MODEL

PROTOCOL /home/nikita/span/testsuite/results/20172093_assignment.if

GOAL As specified

BACKEND CL-AtSe

STATISTICS

Analysed : 4 states Reachable : 0 state Translation: 0.20 seconds Computation: 0.00 seconds