التقنية

كيف يعمل السجلّ، لمن يريد أن يرى الآلة نفسها.

لا شيء هنا واجب القراءة. بقية الموقع تقول بعبارات بسيطة ما الذي يفعله السجلّ؛ وهذه الصفحة تسمّي الآليات، وصفحة الأمن تذكر الضوابط.

استعراضها على نظام يعمل فعلياً الضوابط، مُسمّاة
$ openssl ts -verify -in deal_8821.tsr -data evidence_pack.zip
Verification: OK

تحقّق من ختم زمني، مُنفَّذ على حزمة حقيقية. شيء يُشغّله المراجع بنفسه، لا لقطة شاشة يُطلب من أحد تصديقها.

الدليل أولاً
e4b1f2…⟶9c07ad…⟶53fe21… ✓ مختوم زمنياً من جهة مستقلة✓ موقَّع

يُفحص السجلّ على جهاز المراجع نفسه.

تُفحص حزمة الأدلة بأدوات قياسية مجانية، على جهاز المراجع نفسه. السلامة والإسناد والوقت هي الأمور الثلاثة التي يطلبها المدقّق أو المحكمة من أي سجلّ، والفحص يثبتها في حدود ضيقة: المستندات لم تتغيّر، وهي واردة من حيث تدّعي، وكانت موجودة في اللحظة المذكورة، لأن الختم الزمني يأتي من جهة مستقلة. أما إن كان السجلّ يستوفي معياراً قانونياً بعينه فتلك تبقى مسألة يقدّرها المحامي؛ غير أن السلامة والتاريخ لا يتوقفان على كلمة أحد، ولا شيء في هذا الفحص يحتاج إذناً من Exedra Gate.

  • مُسلسَل بالترتيب. إن غُيّر شيء أو أُدرج أو أُعيد ترتيبه لاحقاً، أظهر السجلّ ذلك بنفسه.
  • مختوم زمنياً من جهة مستقلة. ساعة ليست ساعتنا هي التي تثبت متى، بصيغة RFC 3161 التي تتحقق منها الأدوات القياسية أصلاً. مصمَّم على مبدأ الإيقاف عند الفشل: حيث يكون الختم الزمني مطلوباً، فغياب ختم زمني صالح يعني ألا تصدر حزمة أدلة أصلاً، لأن النظام يمتنع عن إنتاج سجلّ لا يستطيع إثباته.
  • موقَّع عند المصدر: من أنتجه، وأنه سليم، قابل للفحص دون اتصال، بعد سنوات من إتمام الصفقة.
سجلّ واحد، من الفعل إلى المراجع

يُسجَّل الفعل وقت وقوعه، وتضع Exedra Gate بصمة عليه. ويحمل كل قيد بصمة القيد الذي قبله، فأي تغيير أو إدراج أو إعادة ترتيب تجعل السلسلة لا تتطابق. ويُدرَج محتوى الحزمة في بيان ويُوقَّع عند المصدر، فيثبت من أنتجها وأنها سليمة. ثم تُختم الحزمة الموقَّعة زمنياً من جهة ليست Exedra Gate، بصيغة RFC 3161، وهو ما يثبت وقت وجودها. وتُغلق الحزمة، وتتوقف عند الفشل: حيث يكون الختم الزمني مطلوباً، فغياب ختم زمني صالح يعني ألا تصدر حزمة أدلة البتة. وبعد سنوات يُجري أي مراجع سبعة فحوص مستقلة دون اتصال بأدوات قياسية مجانية. سلسلة التجزئة تكشف التغيير اللاحق؛ وهي لا تمنعه.

البصمات الثلاث هي نفسها المطبوعة في أعلى هذا القسم، لأن هذا سجلّ واحد لا مثال ثانٍ. وما يثبته الصف الأخير ضيّق وقابل للفحص: المستندات لم تتغيّر وكانت موجودة في تلك اللحظة. سلسلة التجزئة سجلٌّ يكشف أي عبث، ولا ندّعي أنها تمنعه.
أداة التحقّق، مُسمّاة

exedragate-verify

الصفحة التي تكرّر عبارة "يتحقق دون اتصال" مدينة للقارئ بالشيء الذي يقوم بالتحقق. وله اسم. exedragate-verify أداة تحقّق مستقلة تعمل من سطر الأوامر وتُجري سبعة فحوص مستقلة على حزمة مُصدَّرة: إعادة احتساب سلسلة التجزئة من طرف إلى طرف، وتوقيع المصدر، والختم الزمني المستقل، واتساق الحزمة الداخلي، وحدث إنشائها هي نفسها، وإسناد كل فعل، ومطابقة ملف PDF مع بيان الحزمة. وهي لا تُنشئ أي اتصال بالشبكة، ومراسي الثقة الخاصة بجهة الختم الزمني مضمَّنة داخلها. وهي متاحة عند الطلب، للعملاء ولمن يدقّقون عليهم سواءً بسواء، كما يمكن التحقق من الختم الزمني بأداة OpenSSL المعتادة، فلا يتوقف شيء على أدواتنا إطلاقاً.

الآليات بالتحديد، مُسمّاة ← الأمن

◲ Visual · coming soon التحقّق من حزمة الأدلة evidence-verify
ما الذي تفعله السلسلة فعلاً

يحمل كل قيد بصمة القيد الذي قبله، فأي تغيير أو إدراج أو إعادة ترتيب تجعل السلسلة لا تتطابق. القيد الأول: يُسجَّل فعل، والبصمة e4b1f2. والقيد الثاني يحمل البصمة السابقة وبصمته هو، 9c07ad. والقيد الثالث يحمل البصمة السابقة وبصمته هو، 53fe21. ثم تُختم الحزمة زمنياً من جهة مستقلة وتُوقَّع عند المصدر، فيستطيع المراجع أن يؤكد دون اتصال أنها لم تتغيّر وأنها كانت موجودة في تلك اللحظة. سلسلة التجزئة تكشف التغيير اللاحق؛ وهي لا تمنعه.

غيّر شيئاً في الوسط أو أدرجه أو أعد ترتيبه، فتتوقف البصمات عن التطابق، ويُظهر السجلّ ذلك. هذا كشف لا منع. سلسلة التجزئة سجلٌّ يكشف أي عبث، ولا ندّعي أنها تمنعه.

ما بعد الذاكرة.

الأمن، مُسمّى

آليات مُسمّاة. لا صفات.

عزل بيانات العملاء أمان على مستوى الصف في Postgres على كل جدول مرتبط بعميل. والفصل مفروض في قاعدة البيانات، لا في التطبيق.
مصادقة قوية تسجيل الدخول يتطلب هاتفاً لا كلمة مرور وحدها: تطبيق مصادقة اليوم، ومفاتيح مرور مرتبطة بالجهاز جاهزة للتوقيع على الهاتف. ولا رموز لمرة واحدة عبر الرسائل القصيرة أو البريد الإلكتروني، وهي القنوات التي تعمل الجهات الرقابية على إنهائها.
دليل يتوقف عند الفشل حيث يكون الختم الزمني مطلوباً، فغياب ختم زمني صالح يعني ألا تصدر حزمة أدلة. والنظام يمتنع عن إنتاج سجلّ لا يستطيع إثباته.
حماية البيانات مصمَّم لدعم الالتزامات بموجب اللائحة الأوروبية لحماية البيانات، وقانون حماية البيانات السويسري المُنقَّح، وأنظمة إقليمية أخرى، بما في ذلك حقوق التصحيح للأفراد الوارد ذكرهم في الفحص.
قابلية التحقّق دون اتصال تُفحص حزم الأدلة بأدوات معتادة، باستقلال عن خوادم Exedra Gate.
ما هو داخل السجلّ وما ليس كذلك المستندات والتواقيع وعمليات الوصول إلى المستندات جزء من سجلّ الأدلة. أما الرسائل بين الأطراف فليست كذلك، ولا نصفها بأنها دليل.
موضع البيانات سحابة مُدارة داخل الإقليم اليوم. أما التشغيل داخل ولاية قضائية بعينها وفي سحابة سيادية فيُحدَّد نطاقه ويُنفَّذ بوصفه مشروع تنفيذ.

الوثائق المنشورة التي تقوم عليها تلك الآليات.

كل مدخل يسمّي الوثيقة التي تنفّذها إحدى الآليات أعلاه، والجهة التي أصدرتها. وتسمية إطار ما تعني أن المنصة طُوّرت وفق متطلباته المنشورة. ولا تعني أن Exedra Gate مرخّصة أو خاضعة لإشراف أو موصى بها من أي جهة.

  • EU / CH اللائحة الأوروبية لحماية البيانات (GDPR) وقانون حماية البيانات السويسري المُنقَّح عزل بيانات كل عميل مفروضاً داخل قاعدة البيانات نفسها، مع مدة احتفاظ محدَّدة ومسار موثَّق لتصحيح أي سجلّ. اللائحة (EU) 2016/679؛ القانون الاتحادي لحماية البيانات، SR 235.1
  • EU معايير eIDAS للتوقيع المتقدم (المادة 26) توقيع مرتبط ارتباطاً فريداً بموقّعه وبالمستند، بحيث يصبح أي تعديل لاحق على أيٍّ منهما قابلاً للكشف. متقدم، وليس مؤهلاً. اللائحة (EU) رقم 910/2014، المادة 26
  • IETF الختم الزمني وفق RFC 3161 الوقت المدوَّن على السجلّ يأتي من جهة مستقلة، لا منّا. دليل مقبول على وقت وجود المستند. Time-Stamp Protocol (TSP), RFC 3161
  • IRTF / NIST Ed25519 وSHA-256 خوارزميات منشورة، حتى يتسنّى فحص حزمة الأدلة بأدوات عادية من شخص لا يثق بنا. Edwards-Curve Digital Signature Algorithm (EdDSA), RFC 8032; Secure Hash Standard (SHS), FIPS 180-4
  • W3C WCAG 2.1 AA تمّ الفحص إزاءها بأداة axe صفحةً صفحة، وهو ما تطلبه مراجعة المشتريات في القطاع العام أو لدى المؤسسات. Web Content Accessibility Guidelines 2.1، المستوى AA

ماذا تعني تسمية إطار →

◲ Visual · coming soon مسار التدقيق، كما يراه المراجع tech-audit-trail
المصطلحات، مُعرَّفة.
كل مصطلح استُعمل أعلاه معرَّف بجملة واحدة في صفحة الأمن، إلى جانب الضوابط التي يبحث عنها مسؤول الامتثال، وأوامر التحقّق التي يشغّلها المراجع باستقلال.