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

Taidot: Verkkoturva, Tietoturva, Internet of Things (IoT), Internet-turvallisuus

Näytä lisää: 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

Tietoa työnantajasta:
( 0 arvostelua ) United Kingdom

Projektin tunnus: #26653216

7 freelanceria on tarjonnut keskimäärin 621$ tähän työhön


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 Lisää

$750 USD 20 päivässä
(3 arvostelua)

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 Lisää

$300 USD 6 päivässä
(2 arvostelua)

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 Lisää

$750 USD 15 päivässä
(10 arvostelua)

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 Lisää

$800 USD 20 päivässä
(0 arvostelua)

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 Lisää

$300 USD 7 päivässä
(0 arvostelua)

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

$700 USD 7 päivässä
(0 arvostelua)

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. Lisää

$750 USD 30 päivässä
(0 arvostelua)