Communication protocol (CSP/FDR model checker) Modelling & Analysis of Security Protocols. Concurrent and Real-time Systems.

În desfăşurare Postat la acum 1 an S-au achitat serviciile după ce au fost prestate

£20-250 GBP

S-au achitat serviciile după ce au fost prestate

În desfăşurare S-au achitat serviciile după ce au fost prestate

Use Casper to evaluate security protocols while designing, analysing, and verifying a concurrent system using the CSP/FDR model checker.

Modelling & Analysis of Security Protocols.

Concurrent and Real-time Systems.

Principles of concurrent and distributed programming.

Securitate web Securitate computer Securitatea internetului Security Systems Server

ID Proiect: #35499809

Detalii despre proiect

2 propuneri Proiect la distanță Activ acum 1 an

Vrei să câştigi ceva bani?

Avantajele licitațiilor de pe Freelancer.com

Setează-ți bugetul și intervalul de timp
Îți primești plata pentru serviciile prestate
Evidențiază-ți propunerea
Te înregistrezi și licitezi gratuit pentru proiecte

Acordat lui:

Fotografia de profil a utilizatorului Valuesolutions
Valuesolutions

Hello, I hope this finds you well. I have just seen your project requiring; Web Security Computer Security Internet Security Server Security Systems I believe that my 10-year experience in this field is what you need Mai multe

%selectedBids___i_sum_sub_7%%project_currencyDetails_sign_sub_8% GBP în 3 zile
(11 Recenzii)
4.9

2 freelanceri plasează o ofertă medie de 200£ pentru proiect

Fotografia de profil a utilizatorului liveexperts123
liveexperts123

Hi there, I have read your project description and i'm confident i can do this project for you perfectly.I still have a few questions. please leave a message on my chat so we can discuss the budget and deadline of the Mai multe

£250 GBP în 3 zile
(2 recenzii)
3.9
Postează un proiect similar