العودة لقائمة المشاريع
مهندس اختبار بروتوكول توثيق على TAMARIN
الميزانية
$25.00 - $50.00
التصنيف
برمجة، تطوير المواقع والتطبيقات
المهارات المطلوبة
برمجة
الأمن السيبراني
هندسة البرمجيات
اختبار الاختراق
تحليل البيانات
برمجة
الأمن السيبراني
هندسة البرمجيات
اختبار الاختراق
تحليل البيانات
الوصف
السلام عليكم ورحمة الله وبركاته
احتاج شخص لدية خبرة واسعة في : 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.
لاختبار مزايا لبروتوكول توثيق مقترح من ورقة بحثية.