libsparkcrypto

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

เกี่ยวกับ libsparkcrypto

การดําเนินการอัลกอริทึมการเข้ารหัสลับที่ผ่านการตรวจสอบอย่างเป็นทางการโดยใช้ภาษาการเขียนโปรแกรม SPARK สําหรับหลักฐานไลบรารีที่สมบูรณ์ของการไม่มีข้อผิดพลาดในขณะทํางานจะพร้อมใช้งาน บางส่วนของโปรแกรมย่อยรวมถึงหลักฐานของความถูกต้องบางส่วน