مهندس اختبار بروتوكول توثيق على TAMARIN
تفاصيل المشروع
السلام عليكم ورحمة الله وبركاته
احتاج شخص لدية خبرة واسعة في : Tamarin Prover
Tamarin is a computer software tool and programming language used for formal verification of cryptographic protocols and systems. It was developed at the University of Edinburgh and is based on the process calculus called the Applied Pi calculus.
لاختبار مزايا لبروتوكول توثيق مقترح من ورقة بحثية.
صاحب المشروع
Abo A.
| تاريخ التسجيل | |
| معدل التوظيف | |
| المشاريع المفتوحة | 0 |
| مشاريع قيد التنفيذ | 0 |
| التواصلات الجارية | 0 |
العروض المقدمة
محمد ا.
السلام عليكم يا اخي معك محمد اخصاءي computer software tool and programming language مدة 5 سنوات و حاصل على شهادة C,HTML,و اتمنى ان تقبل عرضي على اكمل وجه.