Obol เป็นภาษาการเขียนโปรแกรมสําหรับโพรโทคอลความปลอดภัย แนวคิดคือโปรแกรมที่ใกล้ชิดกับนามธรรมที่ใช้ในการอธิบายและวิเคราะห์โปรโตคอลความปลอดภัยทิ้งรายละเอียดระดับต่ําเช่นการแสดงข้อความการสื่อสาร crypto ไปยังรันไทม์
ประวัติรุ่น
- เวอร์ชัน 2009-03-28-snap โพสต์เมื่อ 2009-03-28
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน 2009-03-28-snap โพสต์เมื่อ 2009-03-28
รายละเอียดหลักสูตร
- ประเภท: ความปลอดภัยและความเป็นส่วนตัว > อื่นๆ
- Publisher: obol.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: 2009-03-28
- แพ ลตฟอร์ม: windows