هذا هو تطبيق Linux المسمى 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. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
SCREENSHOTS
Ad
AWS Encryption SDK لـ Dafny
الوصف
للإنشاء، تتطلب AWS Encryption SDK أحدث إصدار من dafny على PATH الخاص بك. بالإضافة إلى ذلك، يستخدم هذا المشروع مهام التحقق الموازية التي يوفرها البرنامج الإضافي dafny.msbuild MSBuild، وبالتالي يتطلب dotnet 3.0. تتطلب الاختبارات حاليًا تطبيقات أصلية لأساسيات التشفير وطرق أخرى، لذا لا يمكن تشغيلها إلا عند تضمين هذه المكتبة في إحدى لغات التجميع المستهدفة التي يدعمها Dafny. يستخدم هذا الريبو Duvet لتوثيق المواصفات مباشرة إلى جانب هذا التنفيذ. راجع المواصفات لمعرفة كيفية تركيب اللحاف من أجل إنشاء التقارير. افتراضيًا، سوف يقوم duvet_report باستخراج المواصفات فقط إذا لم يتمكن من العثور على دليل الامتثال في مستودع المواصفات، ولكنه سيعيد استخدام الاستخراج السابق إذا كان موجودًا.
المميزات
- هذه المكتبة مرخصة بموجب ترخيص Apache 2.0
- يستخدم هذا الريبو Duvet لتوثيق المواصفات مباشرة إلى جانب هذا التنفيذ
- افتراضيًا، سوف يقوم duvet_report باستخراج المواصفات فقط إذا لم يتمكن من العثور على دليل الامتثال في مستودع المواصفات
- للإنشاء، تتطلب AWS Encryption SDK أحدث إصدار من dafny
- يتطلب الدوت نت 3.0
- تتطلب الاختبارات حاليًا تطبيقات أصلية لأساسيات التشفير
لغة البرمجة
C#
الأقسام
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/. وقد تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمة التشغيل المجانية لدينا.
