Написать код на языке hlpsl (Avispa) предоставленного протокола
Цена договорная
Есть протокол, описанный в нотации A-B. Необходимо написать для него код на языке hlpsl, для анализа безопасности протокола. (Важно код должен быть рабочий! :) )
В заказе есть исполнитель
При переводе заказа из архивного в актуальный, текущий исполнитель будет снят с задачи.
Выберите тип сделки
С безопасной сделкой вы всегда сможете вернуть средства, если что-то пойдет не так. С простой сделкой вы самостоятельно договариваетесь с исполнителем об оплате и берете на себя решение конфликтов.