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

Навыки: Безопасность сети, Компьютерная безопасность, Internet of Things (IoT), Интернет-безопасность

Показать больше: 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

О работодателе:
( 0 отзыв(-а, -ов) ) United Kingdom

ID проекта: #26653216

7 фрилансеров(-а) готовы выполнить эту работу в среднем за $621


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 Больше

$750 USD за 20 дней(-я)
(3 отзывов(-а))

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 Больше

$300 USD за 6 дней(-я)
(2 отзывов(-а))

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 Больше

$750 USD за 15 дней(-я)
(10 отзывов(-а))

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 Больше

$800 USD за 20 дней(-я)
(0 отзывов(-а))

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 Больше

$300 USD за 7 дней(-я)
(0 отзывов(-а))

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

$700 USD за 7 дней(-я)
(0 отзывов(-а))

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. Больше

$750 USD за 30 дней(-я)
(0 отзывов(-а))