นี่คือแอป Windows ชื่อ AWS Encryption SDK สำหรับ Dafny ซึ่งสามารถดาวน์โหลดรุ่นล่าสุดเป็น 4.0.0--2023-10-11sourcecode.zip สามารถทำงานออนไลน์ได้ใน OnWorks ผู้ให้บริการโฮสติ้งฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปออนไลน์ชื่อ AWS Encryption SDK สำหรับ Dafny พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OS OnWorks จากเว็บไซต์นี้ แต่โปรแกรมจำลองออนไลน์ของ Windows ที่ดีกว่า
- 5. จากระบบปฏิบัติการ Windows ของ OnWorks ที่คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่นและติดตั้ง
- 7. ดาวน์โหลดไวน์จากที่เก็บซอฟต์แวร์ลีนุกซ์ดิสทริบิวชันของคุณ เมื่อติดตั้งแล้ว คุณสามารถดับเบิลคลิกที่แอปเพื่อเรียกใช้แอปด้วย Wine คุณยังสามารถลองใช้ PlayOnLinux ซึ่งเป็นอินเทอร์เฟซแฟนซีบน Wine ที่จะช่วยคุณติดตั้งโปรแกรมและเกมยอดนิยมของ Windows
ไวน์เป็นวิธีเรียกใช้ซอฟต์แวร์ Windows บน Linux แต่ไม่จำเป็นต้องใช้ Windows Wine เป็นเลเยอร์ความเข้ากันได้ของ Windows แบบโอเพ่นซอร์สที่สามารถเรียกใช้โปรแกรม Windows ได้โดยตรงบนเดสก์ท็อป Linux โดยพื้นฐานแล้ว Wine พยายามนำ Windows กลับมาใช้ใหม่ให้เพียงพอตั้งแต่เริ่มต้น เพื่อให้สามารถเรียกใช้แอปพลิเคชัน Windows เหล่านั้นทั้งหมดโดยไม่จำเป็นต้องใช้ Windows จริงๆ
ภาพหน้าจอ
Ad
SDK การเข้ารหัส AWS สำหรับ Dafny
DESCRIPTION
ในการสร้าง AWS Encryption SDK ต้องใช้ dafny เวอร์ชันล่าสุดบน PATH ของคุณ นอกจากนี้ โปรเจ็กต์นี้ยังใช้งานการตรวจสอบแบบขนานที่ได้รับจากปลั๊กอิน dafny.msbuild MSBuild และดังนั้นจึงต้องใช้ dotnet 3.0 ในปัจจุบัน การทดสอบจำเป็นต้องมีการใช้งานแบบดั้งเดิมของการเข้ารหัสแบบดั้งเดิมและวิธีการอื่นๆ ดังนั้นจึงสามารถทำงานได้เฉพาะเมื่อฝังไลบรารีนี้เป็นภาษาเป้าหมายการคอมไพล์ภาษาใดภาษาหนึ่งที่ Dafny รองรับเท่านั้น การซื้อคืนนี้ใช้ Duvet เพื่อจัดทำเอกสารข้อกำหนดโดยตรงควบคู่ไปกับการใช้งานนี้ ดูข้อมูลจำเพาะสำหรับวิธีการติดตั้งผ้านวมเพื่อสร้างรายงาน ตามค่าเริ่มต้น duvet_report จะแยกข้อมูลจำเพาะเฉพาะในกรณีที่ไม่พบไดเร็กทอรีการปฏิบัติตามข้อกำหนดใน repo ข้อมูลจำเพาะ แต่จะใช้การแยกข้อมูลก่อนหน้าอีกครั้งหากมีอยู่
คุณสมบัติ
- ไลบรารีนี้ได้รับอนุญาตภายใต้ Apache 2.0 License
- การซื้อคืนนี้ใช้ Duvet เพื่อจัดทำเอกสารข้อกำหนดโดยตรงควบคู่ไปกับการใช้งานนี้
- ตามค่าเริ่มต้น duvet_report จะแยกข้อมูลจำเพาะเฉพาะเมื่อไม่พบไดเร็กทอรีการปฏิบัติตามข้อกำหนดใน repo ข้อมูลจำเพาะ
- ในการสร้าง AWS Encryption SDK ต้องใช้ dafny เวอร์ชันล่าสุด
- ต้องใช้ดอทเน็ต 3.0
- การทดสอบในปัจจุบันจำเป็นต้องมีการใช้งานแบบดั้งเดิมของการเข้ารหัสลับ
ภาษาโปรแกรม
C#
หมวดหมู่
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจากhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/ มีการโฮสต์ไว้ใน OnWorks เพื่อใช้งานออนไลน์ด้วยวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา
