شرح تطبيق Secure System for seL4 وكيفية استخدامه
هجمات ناجحة ضد أنظمة الكمبيوتر في جميع أنحاء العالم من قبل قراصنة الخارجية ويكيليكس الخبيثة تنمو. نموذج أولي لنظام آمن في هذا البرنامج يدل على بناء مفهوم قاعدة الحوسبة الموثوقة (TCB) على النوية seL4 التحقق رسميا من شأنها أن تكون فعالة للغاية ضد ردع هذه التهديدات المتزايدة.
فإن النظام أثبت في هذا المشروع unhackable. إن unhackable النظام له الخصائص التالية: (1) خطر (والنفقات) من سرقة هاكر خارجي أو تلف البيانات الحساسة ستكون أكبر بكثير من الثواب و( 2) سوف يتم تقليل احتمال السرقة من الداخل المتطفلين جدا قريبة من الصفر.
وقد ثبت التهديدات التي تشكلها قراصنة الخارجية أن تكون الوقاية منها في مشروع DARPA HACMS التي أنجزت مؤخرا، كما هو موضح في عدة مقالات نشرت مؤخرا. وقد أظهرت المشروع HACMS التي يمكن الوقاية منها باستخدام تقنية (seL4) المتوفرة في معظمها اليوم التكنولوجيا اللازمة لمنع فقدان البيانات وتلف من قبل قراصنة الخارجية. ويهدف هذا البرنامج لإعطاء مظاهرة بسيطة لكيفية بناء نموذج أولي لنظام آمن باستخدام النوية seL4 باعتباره هبرفيسر لعدة جافا الاجهزة الظاهرية (JVMs).
قراءة المزيد من التفاصيل التقنية للنظام المقترح هنا في المواد الثلاث أدناه التي نشرت مؤخرا على موقع الوجود المطلق ACM لفي http://ubiquity.acm.org.
الهجمات من الداخل هي التهديد أكبر وأصعب؟
http://ubiquity.acm.org/blog/insider-attacks-bigger-harder-threat/
المتشككين الامن السيبراني تحتضن الآن الطرق الرسمية: مقابلة مع جيرنوت هايزر وجيم موريس
http://ubiquity.acm.org/article.cfm؟id=3081880
10 قواعد لالمدفن بيانات Unhackable
http://ubiquity.acm.org/article.cfm؟id=3081882
النموذج الاولي أثبت هنا واضح يعمل على
، وليس على seL4. لكن، وكما مخطط نظام آمن في الجزء العلوي من الصفحة متجر Play يظهر بشكل واضح، ويهدف النموذج إلى تشغيل في نهاية المطاف فقط على نظام التشغيل الاساسي seL4 (NOT ويندوز، وليس
، وليس * لا شىء). مرة واحدة وقد استدار على JVM لseL4، وهذا النموذج يشكل الوسيطة الاولية.
.
تنزيل APK الاصدار 1.5 المجانية Free Download
يمكنك تنزيل Secure System for seL4 APK 1.5 لـ Android مجاناً Free Download الآن عبر أبك داون مود.