AVISPA coder for Internet security protocols NEEDED -- 2

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

Skills Required

Compétences : Sécurité Web, Sécurité Informatique, Internet of Things (IoT), Sécurité Internet

en voir plus : ewedding javascript norton internet security, web security expert needed, internet marketing products blog name required, internet marketing site blog name required, internet security expert, internet marketing articles needed, internet sales person needed, internet marketing consultant blog name required, internet online researchers needed, canadian internet security monitoring, internet security remote developers, video game composer needed wanted required, security expert needed, verizon internet security port forwarding, security articles needed, shared folder internet security

Concernant l'employeur :
( 0 commentaires ) United Kingdom

Nº du projet : #26653216

7 freelance font une offre moyenne de $621 pour ce travail


Hi there! I have read what you exactly need, however I would like to ask you a few questions. I do work smart and do not rest until I get the job done. Please feel free to ping me anytime so we can have a detailed disc Plus

%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 20 jours
(3 Commentaires)

Hi I have seen that you have invited me for your previous listing of this same project. I think I do understand what you are looking form this project. You want me to write scripts and execute them and simulate them a Plus

%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 6 jours
(2 Commentaires)

Hello, I hope this finds you well. I have just seen your project requiring expertise in; Web Security Computer Security Internet Security Internet of Things (IoT) I believe that my 8-year experience in this field is Plus

%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 15 jours
(10 Commentaires)

Hi Dear Project Owner, I recently came across the similar project with similar topic. I have no idea if this is identical to the previous one or not. anyway you need a security expert who is aware about the protocol Plus

%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 20 jours
(0 Commentaires)

Hello Sir/Madam, My name is Sebastian and I come from Malaysia. I have read your job description clearly and understand your instruction. I can speak English, Malay and Mandarin and I guess we would not have any tro Plus

%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 7 jours
(0 Commentaires)

Hi, our superpowers are Branding | Creative & Design Thinking | Digital Communication | Web Engineering.

%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 7 jours
(0 Commentaires)

hi , i am Research Scholar in cryptography. I have seen your requirement for protocol verification using AVISPA Tool. i have done my research work using avispa,scyther and proverif. I am interesting to work with you. Plus

%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 30 jours
(0 Commentaires)