A strongly connected graph-based digital chaotic system and its application to bidirectional-diffusion image encryption
تقترح هذه الورقة نظاماً فوضوياً رقمياً قائماً على رسوم بيانية قوية الترابط، تم بناؤه عبر نهج عكسي للقضاء على آثار الدقة المحدودة وضمان خصائص فوضوية صارمة، والذي يُطبق بعد ذلك على خوارزمية تشفير صور ذات انتشار ثنائي الاتجاه تُظهر أماناً قوياً ضد الهجمات الإحصائية والتفاضلية.
في العصر الرقمي، تعد الصور أكثر من مجرد صور؛ فهي حاملات كثيفة للمعلومات، تتدفق باستمرار عبر الشبكات المفتوحة من الماسحات الطبية إلى المستشعرات عن بعد. إن حماية هذه الصور تتطلب ما هو أكثر من مجرد إخفائها؛ إنها تتطلب تحويلها إلى شيء يشبه الضوضاء العشوائية، مما يجعل من المستحيل على أي طرف خارجي تخمين المحتوى الأصلي. لعقود من الزمن، بحث العلماء في نظرية الفوضى (الكاوس) عن حل. تصف الفوضى أنظمة حتمية —بمعنى أنها تتبع قواعد صارمة— ولكنها تبدو عشوائية وحساسة للغاية للتغيرات الطفيفة. إذا قمت بتغيير الظروف الأولية لنظام فوضوي بأقل قدر ممكن، فإن النتيجة تتباعد بشكل هائل، وهي خاصية أساسية لتشفير البيانات بأمان. ومع ذلك، عندما يتم تشغيل هذه الأنظمة الفوضوية على أجهزة كمبيوتر حقيقية، والتي تتميز بدقة محدودة، فإنها غالباً ما تفقد طبيعتها الفوضوية وتقع في حلقات متوقعة، مما يخلق ثغرة يمكن للمخترقين استغلالها.
ولحل هذه المشكلة، طور باحثون في جامعة غوانغدونغ للتكنولوجيا طريقة جديدة لبناء نظام فوضوي رقمي يتجنب هذه العثرات تماماً. فبدلاً من الاعتماد على الأرقام العشرية العائمة التي تعاني أجهزة الكمبيوتر في التعامل معها بدقة مثالية، قاموا ببناء نظام يعتمد على نوع محدد من الخرائط الرياضية يسمى "الرسم البياني شديد الاتصال". تخيل مدينة حيث كل تقاطع متصل بكل تقاطع آخر بطريق واحد على الأقل، مما يضمن أنه مهما كانت نقطة البداية، يمكنك الوصول في النهاية إلى أي وجهة. صمم الباحثون نظامهم ليعمل مثل هذه الخريطة، ولكن مع لمسة حاسمة: لقد ضمنوا أن الشبكة بأكملها تشكل حلقة واحدة غير منقطعة تزور كل حالة ممكنة قبل أن تتكرر، مع إضافة اختصارات عشوائية لجعل المسار غير قابل للتنبؤ. يضمن هذا التصميم بقاء النظام فوضوياً وغير قابل للتنبؤ حتى عند تشغيله على أجهزة رقمية قياسية، مما يقضي فعلياً على "تأثير الدقة المحدودة" الذي أضعف العديد من طرق التشفير السابقة.
باستخدام هذا النظام الفوضوي القوي، أنشأ الفريق خوارزمية جديدة لتشفير الصور تعمل في مرحلتين رئيسيتين: الخلط والانتشار. أولاً، تقوم الخوارزمية بخلط بكسلات الصورة، ليس فقط عن طريق تحريك البكسلات بالكامل، بل وأيضاً عن طريق تغيير البتات (bits) الفردية للبيانات التي تشكل لون كل بكسل. هذا النوع من الخلط ثنائي الطبقات يكسر الأنماط والارتباطات الطبيعية الموجودة في الصور العادية. بعد ذلك، يطبق النظام عملية انتشار ثنائية الاتجاه. وهذا يعني أن الخوارزمية تنشر تأثير تغيير كل بكسل عبر الصورة بأكملة في كلا الاتجاهين الأمامي والخلفي في آن واحد. إذا قام مهاجم بتغيير بكسل واحد فقط في الصورة الأصلية، فإن هذه العملية تضمن أن الصورة المشفرة الناتجة ستبدو مختلفة تماماً، مع تغير جميع البكسلات تقريباً. أثبت الباحثون رياضياً أن نظامهم حساس للظروف الأولية، مما يعني أن اختلافاً ضئيلاً في المفتاح الابتدائي يؤدي إلى اختلاف هائل في المخرجات، وهو مطلب لأي تشفير آمن.
كانت نتائج اختباراتهم مذهلة. فعندما قاموا بتشفير صور اختبار قياسية، بدت الملفات الناتجة مثل التشويش (static) على شاشة التلفزيون، دون أي آثار مرئية للصورة الأصلية. وأظهر التحليل الإحصائي أن الصور المشفرة كانت ذات توزيع ألوان منتظم تماماً، مما يجعل من المستحيل استنتاج أي معلومات عن الصورة الأصلية من خلال الهجمات الإحصائية. علاوة على ذلك، أظهر النظام مساحة مفاتيح شاسعة، مما يعني وجود أكثر من 2 مرفوعة للقوة 128 من الاحتمالات الممكنة، وهو رقم كبير جداً لدرجة أن هجوم "القوة الغاشمة" (brute-force attack) سيكون مستحيلاً من الناحية العملية. كما اختبر الباحثون النظام ضد الهجمات التفاضلية، حيث يحاول المهاجم إيجاد أنماط من خلال مقارنة النسخ المشفرة لصور مختلفة قليلاً. أظهرت الخوارزمية الجديدة أن تغييراً في بكسل واحد فقط من الصورة الأصلية تسبب في تغيير ما يقرب من 99.6% من بكسلات الصورة المشفرة، مع مطابقة متوسط شدة التغيير للمثليات النظرية. وحتى عند اختبار النظام بمدخلات قصوى، مثل صورة سوداء تماماً أو بيضاء تماماً، أنتجت النتائج المشفرة نتائج لا يمكن تمييزها عن الضوضاء العشوائية.
يمثل هذا العمل خطوة كبيرة للأمام في تأمين الصور الرقمية. فمن خلال الابتعال عن الحسابات التقليدية للأرقام العشرية العائمة وتأسيس النظام الفوضوي على بنية نظرية رسم بياني صارمة، نجح الباحثون في ابتكار طريقة تشفير تتسم بالدقة النظرية والكفاءة العملية. تتجنب الخوارزمية نقاط الضعف الشائعة في التشفيرات الفوضوية السابقة، مثل الدورات القصيرة والأنماط المتوقعة، مع الحفاظ على السرعة العالية والتكلفة الحسابية المنخفضة. وتشير النتائج إلى أن هذا النهج يمكن اعتماده على نطاق واسع لتأمين البيانات الحساسة في مجالات تتراوح من التصوير الطبي إلى إنترنت الأشياء، مما يوفر درعاً موثوقاً ضد التهديدات السيبرانية المتزايدة التعقيد. تؤكد الدراسة أنه من خلال التصميم الدقيق للبنية الرياضية الأساسية، من الممكن إنشاء فوضى رقمية لا يمكن التنبؤ بها مثل الطبيعة نفسها، ومع ذلك فهي مثالية تماماً للآلات التي تدير عالمنا.
ملخص تقني: نظام فوضوي رقمي قائم على رسم بياني متصل بقوة وتطبيقه في تشفير الصور عبر الانتشار ثنائي الاتجاه
بيان المشكلة تتناول الورقة البحثية الثغرات الأمنية الحرجة في مخططات تشفير الصور القائمة على الفوضى (Chaos-based) الموجودة حالياً، مع التركيز بشكل خاص على ثلاث مشكلات رئيسية:
تأثير الدقة المحدودة (Finite Precision Effect): تعتمد الأنظمة الفوضوية التقليدية غالباً على الحسابات ذات الفاصلة العائمة، مما يؤدي إلى تدهور الديناميكيات وقصر مدارات الدورات عند تنفيذها على أجهزة رقمية ذات دقة محدودة.
العيوب الهيكلية الأمنية: تستخدم العديد من الخوارزميات الحالية عمليات متجانسة (مثل عملية XOR الصرفة أو الحساب النمطي) التي تكون عرضة للخطية والتحليل التفاضلي. علاوة على ذلك، تعتمد بعض المخططات على عمليات تبدو معقدة ظاهرياً (مثل ترميز DNA) لكنها لا تعزز اللاخطية بشكل جوهري.
الحساسية أحادية الاتجاه: تركز التصميمات التقليدية غالباً على حساسية النص المشفر للتغيرات في النص الصريح، لكنها تهمل الحساسية العكسية (حساسية النص الصريح للتغير في النص المشفر)، مما يترك الأنظمة عرضة لهجمات النص المشفر المختار (Chosen-ciphertext attacks).
المنهجية يقترح المؤلفون إطار عمل جديد لتشفير الصور يعتمد على نظام فوضوي رقمي ثلاثي الأبعاد (3D-DCS) يتم بناؤه عبر نهج الرسم البياني العكسي المتصل بقوة. تنقسم المنهجية إلى بناء النظام وتصميم خوارزمية التشفير:
بناء النظام (الفصل الزماني والمكاني):
نهج الرسم البياني العكسي: بدلاً من بناء حلقات عشوائية بعد عبور الحالة، يقوم النظام ببناء حلقة مغلقة لكامل الحالة لضمان الاتصال القوي، ويضيف حواف انتقال عشوائية لتعزيز التعقيد. ويتم اشتقاق هذا النهج عكسياً من رسم بياني موجه لانتقال الحالة.
الضمان النظري: تم تصميم النظام في فضاء بوليني أحادي البت (N=1) باستخدام العمليات المنطقية (AND, OR, NOT) فقط. وبالاستناد إلى النظرية 1، يؤكد المؤلفون أنه إذا كان الرسم البياني متصلاً بقوة عند N=1، فإنه سيظل متصلاً بقوة لأي دقة محدودة N>1، مما يتجنب تدهور الدقة المحدودة.
الفصل الزماني والمكاني: يفصل النظام بين الطبوغرافيا المكانية (رسم بياني ثابت متصل بقوة) والتطور الزماني (المتحكم به عبر تسلسلات عشوائية). وهذا يتجنب مشكلات تقارب التوقيت في الأنظمة شديدة الترابط ويسمح بالتنفيذ المتوازي عالي السرعة على الأجهزة.
إثبات الحساسية: تقدم الورقة برهاناً رياضياً صارماً (النظرية 2) يثبت أن النظام يحقق تعريف "ديفاني" (Devaney) للفوضى، وتحديداً عبر وضع حد أدنى لثابت الحساسية (δ) وإثبات أن التغييرات الطفيفة في الظروف الأولية أو تسلسلات التحكم تؤدي إلى أقصى تباعد في مسافة هامينج (Hamming distance) خلال خطوات محددة.
تصميم خوارزمية التشفير:
توليد مفتاح التشفير (Keystroom): يتم توجيه نظام 3D-DCS بواسطة تسلسلات تحكم يتم توليدها عبر مولد الأرقام شبه العشوائية ISAAC، والتي يتم تهيئتها بمفتاح بطول 128 بت (p1,p2,p3,p4).
على مستوى البكسل: يتم تسطيح الصورة وتبديل مواقعها باستخدام تسلسلات مؤشر مشتقة من فرز المتسلسلات الفوضوية.
على مستوى البت: تخضع قيم البكسل لعمليات إزاحة دورية للبتات بناءً على تسلسل فوضوي مقاساً (modulo 8).
الانتشار غير الخطي ثنائي الاتجاه:
يتم استخدام مرحلة انتشار أمامي (من اليسار إلى اليمين) ومرحلة انتشار خلفي (من اليمين إلى اليسار).
تستخدم معادلات الانتشار عمليات غير متجانسة (XOR، الإضافة النمطية، والتغذية الراجعة المتأخرة زمنياً التي تتضمن النص الصريح، والمفتاح، وحالات النص المشفر السابقة). يهدف هذا التصميم إلى كسر التكافؤ الجبري في المجال التفاضلي وضمان الحساسية ثنائية الاتجاه.
المساهمات الرئيسية
استراتيجية بناء محسنة: تقدم الورقة طريقة محسنة لبناء الأنظمة الفوضوية الرقمية التي تضمن الاتصال القوي من خلال حلقة مغلقة لكامل الحالة، مما يحسن بشكل كبير من كفاءة الاشتقاق وعدم إمكانية التنبؤ بانتقال الحالة مقارنة بطرق الحلقة العشوائية.
تحليل حساسية صارم: على عكس العديد من الأعمال السابقة التي تكتفي بمجرد الادعاء بوجود فوضى، تقدم هذه الورقة برهاناً رياضياً بنائياً على الحساسية للظروف الأولية وتستنتج صراحةً ثابت الحساسية، مما يضع أساساً نظرياً لتأثير الانهيار (Avalanche effect) للنظام.
بنية حساسة ثنائية الاتجاه: يدمج مخطط التشفير آلية انتشار ثنائية الاتجاه مع عمليات غير متجانسة. يستهدف هذا تحديداً ثغرة "أحادية الاتجاه"، مما يضمن حساسية النظام للتغيرات في كل من النص الصريح والنص المشفر، وبالتالي مقاومة الهجمات التفاضلية وهجمات النص المشفر المختار.
النتائج التجريبية تم تقييم الخوارزمية المقترحة باستخدام صور اختبار قياسية (Baboon, Fruits, Yacht, Monarch) ومدخلات قصوى (صور سوداء بالكامل/بيضاء بالكامل). تشمل مقاييس الأداء الرئيسية ما يلي:
فضاء المفتاح: تستخدم الخوارزمية فضاء مفتاح بطول 128 بت (2128)، وهو ما يعتبر كافياً لمقاومة هجمات القوة الغاشمة (Brute-force).
التحليل الإحصائي: تظهر الصور المشفرة توزيعات متساوية (Histograms) وقيم إنتروبيا معلومات قريبة من الحد الأقصى النظري وهو 8 (مثلاً 7.999+)، مما يشير إلى عشوائية عالية.
الارتباط: انخفضت معاملات ارتباط البكسلات المتجاورة في الاتجاهات الأفقي والرأسي والقطري إلى قيم قريبة من الصفر (حوالي 0.001)، مما كسر الارتباطات المكانية بفعالية.
مقاومة الهجوم التفاضلي: تطابقت قيم معدل تغير عدد البكسلات (NPCR) وكثافة التغيير المتوسط الموحد (UACI) عن كثب مع القيم المثالية النظرية (NPCR ≈ 99.61%، UACI ≈ 33.46%)، مما يثبت الحساسية العالية لتغيير بكسل واحد.
اختبار العشوائية: اجتازت التدفقات الثنائية للنص المشفر جميع الفئات الـ 15 من مجموعة اختبار العشوائية NIST SP 800-22 بنسب نجاح عالية.
تأثير الانهيار (Avalanche Effect): أكدت اختبارات تعديل البكسل الواحد أن الانتشار ثنائي الاتجاه يسمح لتغيير في بكسل واحد بالانتشار إلى كامل النص المشفر، محققاً قيم NPCR/UACI المثالية بسرعة.
الأهمية والادعاءات تزعم الورقة أن الطريقة المقترحة تقدم حلاً قوياً لنقل الصور بشكل آمن من خلال المعالجة الجذرية لقيود الدقة المحدودة للأنظمة الفوضوية التقليدية عبر نهج يعتمد على نظرية الرسم البياني والمجال الصحيح. ومن خلال الإثبات الصارم للخصائص الفوضوية للنظام وتصميم آلية انتشار ثنائية الاتجاه، يؤكد المؤلفون أن الخوارزمية تقضي فعلياً على الثغرات الهيكلية الموجودة في المخططات السابقة (مثل الخطية والحساسية أحادية الاتجاه). إن استخدام العمليات المنطقية (Bitwise operations) وغياب الحسابات ذات الفاصلة العائمة يجعل النظام مناسباً بشكل خاص للتنفيذ في بيئات الأجهزة محدودة الموارد، مثل FPGAs و DSPs وأجهزة إنترنت الأشياء (IoT)، مما يضمن أداءً تشفيرياً حتمياً وقابلاً للتكرار.