Obol 2009-03-28

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 3.0/5 - ‎1 ‎โหวต

Obol เป็นภาษาการเขียนโปรแกรมสําหรับโพรโทคอลความปลอดภัย แนวคิดคือโปรแกรมที่ใกล้ชิดกับนามธรรมที่ใช้ในการอธิบายและวิเคราะห์โปรโตคอลความปลอดภัยทิ้งรายละเอียดระดับต่ําเช่นการแสดงข้อความการสื่อสาร crypto ไปยังรันไทม์

ประวัติรุ่น

  • เวอร์ชัน 2009-03-28-snap โพสต์เมื่อ 2009-03-28
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน 2009-03-28-snap โพสต์เมื่อ 2009-03-28

รายละเอียดหลักสูตร