זוהי אפליקציית Windows בשם AWS Encryption SDK עבור Dafny שניתן להוריד את המהדורה האחרונה שלה בתור 4.0.0--2023-10-11sourcecode.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם AWS Encryption SDK עבור Dafny עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל כל אמולטור מקוון של OS OnWorks מאתר זה, אך עדיף אמולטור מקוון של Windows.
- 5. ממערכת ההפעלה OnWorks Windows שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה והתקן אותה.
- 7. הורד את Wine ממאגרי התוכנה שלך להפצות לינוקס. לאחר ההתקנה, תוכל ללחוץ פעמיים על האפליקציה כדי להפעיל אותם עם Wine. אתה יכול גם לנסות את PlayOnLinux, ממשק מפואר מעל Wine שיעזור לך להתקין תוכניות ומשחקים פופולריים של Windows.
Wine היא דרך להפעיל תוכנת Windows על לינוקס, אך ללא צורך ב-Windows. Wine היא שכבת תאימות של Windows בקוד פתוח שיכולה להריץ תוכניות Windows ישירות על כל שולחן עבודה של לינוקס. בעיקרו של דבר, Wine מנסה להטמיע מחדש מספיק של Windows מאפס כדי שהוא יוכל להריץ את כל יישומי Windows מבלי להזדקק ל-Windows.
בצילומי מסך
Ad
AWS Encryption SDK עבור Dafny
תיאור
כדי לבנות, AWS Encryption SDK דורשת את הגרסה המעודכנת ביותר של dafny ב-PATH שלך. בנוסף, פרויקט זה משתמש במשימות האימות המקבילות המסופקות על ידי התוסף MSBuild dafny.msbuild, ולכן דורש dotnet 3.0. הבדיקות דורשות כיום הטמעות מקוריות של פרימיטיבים קריפטוגרפיים ושיטות אחרות, כך שניתן להפעיל אותן רק בעת הטמעת ספרייה זו באחת משפות היעד הקומפילציה הנתמכות על ידי Dafny. ריפו זה משתמש ב-Duvet כדי לתעד ישירות את המפרט לצד יישום זה. עיין במפרט כיצד להתקין שמיכת פוך על מנת להפיק דוחות. כברירת מחדל, duvet_report יחלץ את המפרט רק אם הוא לא יכול למצוא את ספריית התאימות במאגר המפרט, אך יעשה שימוש חוזר בחילוץ קודם אם הוא קיים.
תכונות
- ספרייה זו מורשית תחת רישיון Apache 2.0
- ריפו זה משתמש ב-Duvet כדי לתעד ישירות את המפרט לצד יישום זה
- כברירת מחדל, duvet_report יחלץ את המפרט רק אם הוא לא יכול למצוא את ספריית התאימות במאגר המפרט
- כדי לבנות, AWS Encryption SDK דורשת את הגרסה המעודכנת ביותר של dafny
- דורש dotnet 3.0
- הבדיקות דורשות כיום הטמעות מקוריות של פרימיטיבים קריפטוגרפיים
שפת תכנות
C#
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
