(*** AKE Scheme ***)(* Data types *)type Key.type Point.type Random.type ID.type Time.(* Chael Definition *)free net : chael.
(* Private Terms *)free SKij : bitstring [private].free ai : Random [private].free aj : Random [private].free ki : Key [
ادامه مطلب
برچسب:
نویسنده: متین مرادی
تاريخ: سه
شنبه
9 آبان
1396 ساعت: 0:27