Compare Proposal

Nothing to compare.

We need a Security Protocol Animator SPAN, AVISPA coder for Internet security protocols

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

Budget
20
Proposals
317
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 verfired the protocols using different tools and we would like the final verification to be done in SPAN/AVISPA