Compare Proposal

Nothing to compare.

Internet security protocols testing

  • Posted at : 1 month ago
  • Post Similar Project
500

Budget
10
Proposals
204
Views
Closed
Status

Posted By -

NS

0.0
Projects Posted : 6
Projects Paid : 0
Services Purchased : 0
Total Spent :
0
Feedbacks : 0 %

Project Details show (+) hide (-)

We have several internet security protocols that we would like to write using SPAN-AVISPA tool and verify using the tool that the proposed protocol is secure. The tool can be found in Ubuntu Virtual Machine installed from AVISPA website. The requirement is an HLPSL file.

We have verified the protocols using different tools and we would like the final verification to be done in SPAN/AVISPA