General Attacker formal verification model for security protocols - Implementation

€8-30 EUR

Fechado

Publicado

há quase 9 anos

€8-30 EUR

Pago na entrega

Main documentation for this project : [login to view URL] - Chapter 6 I need someone to build this threat model General Attacker in one of this two specification languages "aslan" or "if"(intermidiate format) for the NSPK protocol ( Needham Schroeder Public Key). I also attached some documentations.

C Programming

ID do Projeto: 7834220

Sobre o projeto

1 proposta

Projeto remoto

Ativo há 9 anos

Quer ganhar algum dinheiro?

Endereço de e-mail

Benefícios de ofertar no Freelancer

Defina seu orçamento e seu prazo

Seja pago pelo seu trabalho

Descreva sua proposta

É grátis para se inscrever e fazer ofertas em trabalhos

1 freelancers estão ofertando em média €150 EUR for esse trabalho

@hbxfnzwpf

I am very proficient in c, c++. I have 15 years c++ developing experience now, and I have worked for 5 years. My work is online game developing, and mainly focus on server side, the language is c++ under linux. I used c++ to make many great projects, for example, I made the tools which can convert java files to c++ scripts which has the same effect, of course garbage collection included. I also made our own mobile game using c++, I even can show you the demo of client. Trust me, please let expert help you.

€150 EUR em 1 dia