libsparkcrypto
ใบ อนุญาต: ฟรี ขนาดแฟ้ม: N/A
คะแนนจากผู้ใช้: 5.0/5 - 1 โหวต
กรุณารอสักครู่ ลิงก์ดาวน์โหลดของคุณกําลังได้รับการตรวจสอบสําหรับเนื้อหาที่เป็นอันตราย
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
เกี่ยวกับ libsparkcrypto
การดําเนินการอัลกอริทึมการเข้ารหัสลับที่ผ่านการตรวจสอบอย่างเป็นทางการโดยใช้ภาษาการเขียนโปรแกรม SPARK สําหรับหลักฐานไลบรารีที่สมบูรณ์ของการไม่มีข้อผิดพลาดในขณะทํางานจะพร้อมใช้งาน บางส่วนของโปรแกรมย่อยรวมถึงหลักฐานของความถูกต้องบางส่วน