การดําเนินการอัลกอริทึมการเข้ารหัสลับที่ผ่านการตรวจสอบอย่างเป็นทางการโดยใช้ภาษาการเขียนโปรแกรม SPARK สําหรับหลักฐานไลบรารีที่สมบูรณ์ของการไม่มีข้อผิดพลาดในขณะทํางานจะพร้อมใช้งาน บางส่วนของโปรแกรมย่อยรวมถึงหลักฐานของความถูกต้องบางส่วน
ประวัติรุ่น
- เวอร์ชัน files โพสต์เมื่อ 2010-09-13
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน N/A โพสต์เมื่อ 2010-09-13
รายละเอียดหลักสูตร
- ประเภท: ความปลอดภัยและความเป็นส่วนตัว > อื่นๆ
- Publisher: senier.net/libsparkcrypto
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: Array
- แพ ลตฟอร์ม: linux