Key points are not available for this paper at this time.
تشارك المركبات المعلومات عبر شبكة المركبات المؤقتة (VANET) والتي تعتبر أساس نظام النقل الذكي. يتيح التحكم في الوصول من خلال التشفير الوظيفي (FE) مشاركة آمنة للبيانات المشفرة مع كل من الاستخدام والخصوصية. ومع ذلك، فإن المركبات ذات الطاقة المنخفضة والخادم غير الموثوق يتسببان في أن آليات التحكم في الوصول المستندة إلى FE أقل عملية مع كفاءة جانب العميل وانعدام موثوقية الوصول. في هذا العمل، نقدم ORAC، وهو نظام للتحكم في الوصول المشفر المحسن مع خصوصية جزئية وموثوقية. تم بناء ORAC على أساس التشفير الوظيفي الذي يضمن خصوصية جزئية للبيانات واستخدام البيانات في VANET، ويقوم بفصل الوصول إلى البيانات إلى مرحلة غير متصلة ومرحلة متصلة، بحيث يمكن تنفيذ معظم حسابات فك التشفير في المرحلة غير المتصلة ويمكن للمركبات تنفيذ فك التشفير الفعلي بكفاءة. من خلال تضمين معاملات البلوكشين في سجلات الهوية وتخزين البيانات، يحمي ORAC البيانات التي تصل إليها المركبات من العبث، وبالتالي يدير نقل البيانات مع موثوقية عالية. يمكن تجسيدها مباشرة من فرضيات مبنية على الاقتران وتتميز فقط بتعقيد فك التشفير لعمليتين من رفع الأس وعمليتين من الضرب. نقدم دليل أمان رسمي للتجسيد في نموذج الأمان المعنوي. كما قمنا بإنشاء نموذج أولي لمخططنا من خلال تنفيذ ORAC على Ethereum مع نوعين من العقود الذكية، ويمكن أن تُظهر التقييمات تحسين كفاءتها.
درس يانغ وآخرون (الجمعة) هذا السؤال.