خوارزمية التحقق من الرسائل
كانت خوارزمية مصادقة الرسائل ( MAA ) واحدة من أولى الوظائف التشفيرية لحساب رمز مصادقة الرسائل (MAC).
تاريخ
صُممت هذه الخوارزمية عام 1983 على يد دونالد ديفيز وديفيد كلايدن في المختبر الفيزيائي الوطني (المملكة المتحدة) استجابةً لطلب من خدمات المقاصة الآلية المصرفية في المملكة المتحدة. وكانت خوارزمية MAA من أوائل خوارزميات رمز مصادقة الرسائل التي حظيت بقبول واسع النطاق.
التطوير والتوحيد القياسي
تم تقديم المواصفات الأصلية [ 1 ] [ 2 ] لـ MAA في مزيج من اللغة الطبيعية والجداول، بالإضافة إلى تطبيقين في لغات البرمجة C و BASIC .
تم اعتماد MAA من قبل ISO في عام 1987 وأصبح جزءًا من المعايير الدولية ISO 8730 [ 3 ] [ 4 ] و ISO 8731-2 [ 5 ] التي تهدف إلى ضمان صحة وسلامة المعاملات المصرفية.
الهجمات
لاحقًا، كشف تحليل تشفير MAA عن نقاط ضعف متعددة، بما في ذلك إمكانية تنفيذ هجمات القوة الغاشمة، ووجود مجموعات تصادم، وتقنيات استعادة المفاتيح. [ 6 ] [ 7 ] [ 8 ] [ 9 ] لهذا السبب، تم سحب MAA من معايير ISO في عام 2002، لكنها استمرت في استخدامها كدراسة حالة بارزة لتقييم مختلف الأساليب الرسمية . [ 10 ]
المواصفات الرسمية لـ MAA
تم استخدام MAA كدراسة حالة بارزة لتقييم مختلف الأساليب الرسمية .
في أوائل التسعينيات، طوّرت المختبرات الفيزيائية الوطنية (NPL) ثلاث مواصفات رسمية لـ MAA: واحدة بلغة Z ، [ 11 ] وواحدة بلغة LOTOS ، [ 12 ] وواحدة بلغة VDM . [ 13 ] [ 14 ] أصبحت مواصفات VDM جزءًا من مراجعة عام 1992 للمعيار الدولي 8731-2، وتم اشتقاق ثلاث تطبيقات يدويًا من تلك المواصفات الأخيرة: C و Miranda و Modula-2 . [ 15 ]
تم تطوير نماذج رسمية أخرى لنظام MAA. في عام 2017، نُشرت مواصفات رسمية كاملة لنظام MAA كنظام لإعادة كتابة المصطلحات الكبيرة؛ [ 16 ] ومن هذه المواصفات، تم إنشاء تطبيقات لنظام MAA تلقائيًا في خمس عشرة لغة مختلفة . في عام 2018، نُشرت مواصفات رسمية جديدة لنظام MAA، بلغة LOTOS ولغة LNT. [ 17 ]
مراجع
- ↑ ديفيز، دونالد و. (1985). "خوارزمية مصادقة الرسائل المناسبة للحاسوب المركزي". التطورات في علم التشفير - وقائع ورشة عمل نظرية وتطبيق تقنيات التشفير (CRYPTO'84)، سانتا باربرا، كاليفورنيا، الولايات المتحدة الأمريكية . سلسلة محاضرات في علوم الحاسوب. المجلد 196. سبرينغر. الصفحات 393-400 . doi : 10.1007/3-540-39568-7_30 .
- ↑ ديفيز، دونالد دبليو؛ كلايدن، ديفيد أو. (1988). خوارزمية مصادقة الرسائل (MAA) وتطبيقها (ملف PDF) (تقرير NPL DITC 109/88). تيدينغتون، ميدلسكس، المملكة المتحدة: المختبر الفيزيائي الوطني.
- ↑ المنظمة الدولية للتوحيد القياسي (1987). المعيار الدولي 8731-2. الخوارزميات المعتمدة لمصادقة الرسائل - الجزء 2: خوارزمية مصادقة الرسائل (MAA) (تقرير). جنيف.
- ↑ المنظمة الدولية للتوحيد القياسي (1992). المعيار الدولي 8731-2. الخوارزميات المعتمدة لمصادقة الرسائل - الجزء 2: خوارزمية مصادقة الرسائل (MAA) (تقرير). جنيف.
- ↑ المنظمة الدولية للتوحيد القياسي (1990). المعيار الدولي 8730. متطلبات مصادقة الرسائل (الجملة) (تقرير). جنيف.
- ↑ برينيل، بارت؛ فان أورشوت، بول سي. (1996). حول أمن خوارزميتي MAC . التطورات في علم التشفير - وقائع المؤتمر الدولي حول نظرية وتطبيق تقنيات التشفير (EUROCRYPT'96)، سرقسطة، إسبانيا. سلسلة محاضرات في علوم الحاسوب. المجلد 1070. سبرينغر. الصفحات 19-32 . doi : 10.1007/3-540-68339-9_3 .
- ↑ برينيل، بارت؛ فان أورشوت، بول سي. (1999). "حول أمن رموز مصادقة الرسائل المتكررة". معاملات IEEE في نظرية المعلومات . 45 (1): 188-199 . doi : 10.1109/18.746787 .
- ↑ برينيل، بارت؛ رومين، فنسنت؛ فان أورشوت، بول سي. (1997). "تحليل أمني لخوارزمية مصادقة الرسائل (MAA) - مجلة المعاملات الأوروبية في مجال الاتصالات". 8 (5): 455-470 . doi : 10.1002/ett.4460080504 .
{{cite journal}}يتطلب الاستشهاد بالمجلة ( مساعدة )|journal= - ↑ ريجمان، فينسنت؛ برينيل، بارت؛ دي وين، إريك (1996). استعادة المفاتيح ومجموعات التصادم لـ MAA (ملف PDF) . وقائع المؤتمر الدولي الأول حول الأمن في شبكات الاتصالات (SCN'96).
- ↑ برينيل، بارت (2011). "MAA" . موسوعة التشفير والأمن . الصفحات 741-742 . doi : 10.1007/978-1-4419-5906-5_591 . ISBN 978-1-4419-5905-8تم الاطلاع عليه بتاريخ 3 مايو 2021 .
- ↑ إم كيه إف لاي (1991). تفسير رسمي لمعيار MAA في Z (تقرير NPL DITC 184/91). تيدينغتون، ميدلسكس، المملكة المتحدة: المختبر الفيزيائي الوطني.
- ↑ هارولد ب. مونستر (1991). مواصفات نظام LOTOS لمعيار MAA، مع تقييم لنظام LOTOS (ملف PDF) (تقرير NPL رقم DITC 191/91). تيدينغتون، ميدلسكس، المملكة المتحدة: المختبر الفيزيائي الوطني. مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 2017-07-06.
- ↑ غرايم آي. باركين؛ جي. أونيل (1990). مواصفات معيار MAA في VDM (تقرير NPL DITC 160/90). المختبر الفيزيائي الوطني، تيدينغتون، ميدلسكس، المملكة المتحدة.
- ↑ غرايم آي. باركين؛ جي. أونيل (1991). سورين برين؛ دبليو جيه توتينيل (محرران). مواصفات معيار MAA في VDM . تطوير البرمجيات الرسمي - وقائع (المجلد 1) من الندوة الدولية الرابعة لـ VDM Europe (VDM'91)، نوردويكيرهاوت، هولندا. سلسلة محاضرات في علوم الحاسوب. المجلد 551. سبرينغر. الصفحات 526-544 . doi : 10.1007/3-540-54834-3_31 .
- ↑ آر بي لامبارد (1991). تطبيق MAA من مواصفات VDM (مذكرة فنية NPL DITC 50/91). تيدينغتون، ميدلسكس، المملكة المتحدة: المختبر الفيزيائي الوطني.
- ↑ غارافيل، هوبرت؛ مارسو، لينا (2017). نظام إعادة كتابة المصطلحات الكبيرة لنمذجة خوارزمية تشفير رائدة . وقائع ورشة العمل الثانية حول نماذج التحليل الرسمي للأنظمة الحقيقية (MARS'17)، أوبسالا، السويد. وقائع إلكترونية في علوم الحاسوب النظرية. المجلد 244. الصفحات 129-183 . arXiv : 1703.06573 . doi : 10.4204/EPTCS.244.6 .
- ↑ غارافيل، هوبرت؛ مارسو، لينا (2018). دراسة مقارنة لثماني مواصفات رسمية لخوارزمية مصادقة الرسائل . وقائع ورشة العمل الثالثة حول نماذج التحليل الرسمي للأنظمة الحقيقية (MARS'18) وورشة العمل الدولية السادسة حول التحقق وتحويل البرامج (MARS/VPT 2018)، ثيسالونيكي، اليونان. وقائع إلكترونية في علوم الحاسوب النظرية. المجلد 268. الصفحات 41-87 . arXiv : 1803.10322 . doi : 10.4204/EPTCS.268.2 .
روابط خارجية
- برينيل ، بارت (2011). "ما". في فان تيلبورج، هينك كاليفورنيا؛ جاجوديا، سوشيل (محرران). موسوعة التشفير والأمن (الطبعة الثانية ). سبرينغر. ص 741 – 742. دوى : 10.1007 / 978-1-4419-5906-5_591 . رقم ISBN 978-1-4419-5905-8.
- http://www.cix.co.uk/~klockstone/maa.htm
- http://www.mars-workshop.org/repository/012-MAA.html
- دوال التجزئة المشفرة
- دوال التجزئة المعطلة
- خوارزميات التحقق من المجموع الاختباري
