سجل دخول المبنى: كيف تفصل أحداث البطاقة عن عدد الموجودين؟

عدد الصفوف لا يساوي عدد الأشخاص الموجودين. يحتاج سؤال الحضور إلى معنى الأحداث، ومعرف الشخص، وحالة البداية، ووقت اللقطة، واكتمال ما يغير الدخول والخروج.

• يتناول NIST 800-171r3 سجلات وصول مادي عند نقاط الدخول أو الخروج في مواقع أنظمة تعالج معلومات CUI؛ يذكر سجلات إجرائية أو مؤتمتة. [1] نأخذ غرض السجل ونطاقه فقط، ولا نجعل كل سجل عقار تطبيقًا لهذا المعيار.
• بطاقتنا تبدأ عند 07:55 بصفر موجودين. نعطي سبعة صفوف مرتبة: دخول ألف، دخول باء، إعادة بطاقة ألف دون دخول، خروج ألف، دخول جيم، إعادة بطاقة باء دون دخول، خروج باء. الثلاثة أشخاص مختلفون، والصفوف كاملة في النسخة الأساسية.
• عند 08:45 يوجد باء وجيم: اثنان. عند 09:05 تبقى جيم وحدها: واحد. تغيّر وقت السؤال يغير المجموعة التي نعيدها، مع ثبات السجل الكامل.
• في النافذة ثلاثة أحداث دخول حقيقي وحدثا خروج، ومع البداية صفر يصبح العدد النهائي واحدًا. المحاولتان المعطاتان لا تغيران الحالة؛ لا نضيفهما إلى الدخول.
• إزالة تكرار المعرفات تعطي ثلاثة أشخاص ظهروا في الفترة، ولا تعطي ثلاثة موجودين في نهايتها. ألف وباء ظهرا ثم خرجا وفق الصفوف المعطاة. العدد الفريد 3 وحده لا يحدد النهاية: في تتبع كامل مستقل يغادر الثلاثة فيبقى صفر، أو يبقون جميعًا فيكون الموجود 3.
• نسخة ناقصة تغيب عنها معلومة خروج باء ولا تملك دليلًا بديلًا؛ نعرف جيم موجودة وحالة باء مجهولة، فيكون المجال من واحد إلى اثنين، لا عددًا مؤكدًا واحدًا.
• إذا كانت حالة البداية مجهولة، فلا يحدد فرق ثلاثة دخول واثنين خروج إجمالي نهاية المبنى. وفي فرع البداية أربعة أشخاص آخرين باقين، يصبح النهائي خمسة.
• الرسم يربط ثلاثة معرفات رمزية بحالاتها الزمنية المعطاة. تحفظ نور النطاق والوقت وتعريف الصف والنسخة والحقول المجهولة؛ لا يثبت تعداد الأحداث وحده صلاحية نظام أو هوية فعلية أو سجل حضور كامل.

يذكر النطاق المختار من NIST سجلات وصول مادي عند نقاط الدخول أو الخروج، ويوضح أن السجلات قد تكون إجرائية أو مؤتمتة، ضمن مواقع أنظمة تعالج أو تخزن أو تنقل معلومات CUI. [1] لا نحول هذا النطاق إلى قاعدة لجميع المكاتب. نقرأ غرض التسجيل فقط، ونضع بعد ذلك حالة مؤلفة لها تعريفات كاملة مستقلة؛ لا نقدم إجراءات تطبيق المعيار أو اختبار امتثال عقار.

ملف نور يخص حدود مكتب كامل سميناه مكتب راء، ويغطي الفترة من 07:55 إلى 09:05. نعطي ثلاثة معرفات رمزية ألف وباء وجيم، وكل معرف يخص شخصًا واحدًا في المثال، ولا يتشارك شخصان بطاقة. نعلن أن نقطة الدخول والخروج هي حدود هذا المكتب في القصة. هذه شروط للبيانات التعليمية، لا خصائص نفترض أن أي جدول بطاقات يضمنها تلقائيًا.

نميز نوعين من الصفوف: انتقال مؤكد داخل أو خارج، ومحاولة بطاقة لا يصحبها انتقال حسب بطاقة الحدث المعطاة. لا نستنتج المعنى من كلمة نجاح أو إشارة لونية دون تعريف، ولا نعتمد على شكل قارئ بوابة لم نره. فإذا وصل في ملف آخر رمز غير معروف، نطلب قاموسه قبل إدخاله في الحساب؛ يستطيع العدد أن يحصي صفوفه مع بقاء مدلولها غير معلوم.

في الساعة 07:55 نعلن أن المكتب خالٍ. يدخل ألف 08:00، ثم باء 08:10. عند 08:20 يظهر صف إعادة بطاقة لألف، وتقول بطاقة المثال إنه لم ينتقل من خارج إلى داخل؛ هو داخل أصلًا. يخرج ألف 08:30، وتدخل جيم 08:40. عند 08:50 يعيد باء بطاقته دون انتقال، ثم يخرج 09:00. لا يوجد حدث آخر يغير الحضور في النسخة الأساسية المعطاة.

نحتفظ بالوقت واتجاه الانتقال والصفة، بدل اختصار جميع الصفوف إلى استعمل بطاقة. يستطيع قارئ آخر إعادة الحالة بالترتيب الذي قدمناه. ولأننا حددنا معنى المحاولتين مسبقًا، لا يحتاج إلى تخمين هل فتح باب أو تأخر تسجيل. في ملف فعلي، يحتاج مثل هذا السؤال أدلته؛ لكن معطياتنا اختارت الإجابات لتجعل الفرق بين أحداث الصفوف وتغير الحالة واضحًا وقابلًا للمراجعة.

الأحداث السبعة تغطي ثلاثة أشخاص، وفيها ثلاثة دخول مؤكد واثنان خروج مؤكد ومحاولتان بلا انتقال. المجموع 3 و 2 و 2 يساوي 7. هذا تقسيم لأنواع صفوف مختلفة، لا تقسيم لأشخاص منفصلين؛ ألف يظهر في أكثر من نوع وباء أيضًا. تسمية الوحدة تحمي القارئ من جمع عدد أشخاص ظهروا بعدد صفوف ظن أنها تصف أشخاصًا آخرين لم يدخلوا القائمة.

عند 08:15، قبل إعادة بطاقة ألف، يوجد ألف وباء؛ العدد 2. عند 08:35، بعد خروج ألف وقبل دخول جيم، يوجد باء وحده؛ العدد 1. وعند 08:45، بعد دخول جيم، يوجد باء وجيم؛ العدد 2. لم يتغير السجل الذي نقرأه، بل تغيرت لقطة السؤال. لا نختار جميع من ظهروا منذ البداية بوصفهم المجموعة الموجودة عند كل لحظة داخل النافذة.

عند 09:05 تكون جيم وحدها داخل المكتب، والعدد 1. لا نضيف ألف لأنه ظهر عند 08:00 أو باء لأنه ظهر عند 08:50؛ لدينا خروج معلن لكل منهما قبل اللقطة. يجيب سجل الأحداث عن ما حدث خلال فترة، وتجيب لقطة الحالة عن من بقي وفق الانتقالات المعطاة. هما سؤالان مرتبطان، لكن إجابة الأول لا تستبدل إجابة الثاني لمجرد أن أسماء المعرفات موجودة في الملف نفسه.

نختار لقطات لا تتساوى مع أوقات الأحداث، كي لا يضاف سؤال ترتيب لحظات متطابقة لم نعلن قاعدته. إذا طلب ملف آخر الحالة عند لحظة تحمل دخولًا وخروجًا بالوقت نفسه، يحتاج قاعدة ترتيب أو دقة وقت مناسبة قبل تحديد الحالة بعد كل حدث. لا يتيح مثالنا استنتاج تلك القاعدة لنظام فعلي، ولا يحول وقت تسجيل واحد إلى دليل على ترتيب تفصيلي غاب عنه.

مع بداية صفر وثلاثة دخول مؤكد واثنين خروج مؤكد، يكون نهاية النافذة صفر زائد 3 ناقص 2، أي 1. يمكن مراجعة النتيجة بالمعرفات أيضًا: ألف داخل ثم خارج، وباء داخل ثم خارج، وجيم داخل باقية. توافق الطريقتين ناشئ من شروط السجل الكامل التي أعطيناها، وليس ضمانًا بأن جمع عدد الدخول والخروج من أي ملف يحدد حضور مبنى فعلي دون فحص الحدود.

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

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

إزالة تكرار المعرفات في النسخة الأساسية تعطي ألف وباء وجيم، أي 3 أشخاص ظهر لهم حدث خلال الفترة. يحفظ هذا العدد سؤال الظهور، ولا يحدد الموجود عند 09:05. قد يحمل الشخص عدة صفوف دون أن يتحول إلى عدة أشخاص، وقد يظهر ثم يغادر. لذلك تكتب نور ظهر لهم حدث بجوار الثلاثة، بدل تسمية كل عدد لا يتكرر في قائمة بأنه إجمالي الحضور الحالي.

نجرب ترتيبًا مستقلًا كاملًا فيه المعرفات الثلاثة نفسها، لكن كل واحد يدخل مرة ثم يخرج قبل النهاية. عدد المعرفات المختلفة يبقى 3، وعدد الموجودين النهائي صفر. وفي نسخة أخرى مستقلة يدخل الثلاثة ويبقون، فيصبح النهائي 3. تتساوى قائمة المعرفات في النسختين، بينما تختلف انتقالات الحالة؛ معرفة الأسماء الرمزية التي ظهرت لا تستعيد السجل الزمني الذي نحتاجه لسؤال النهاية.

كذلك لا نعامل بطاقة مختلفة بوصفها شخصًا مختلفًا في ملف لم يعط العلاقة بين البطاقات والأشخاص. قصتنا أعلنت واحدًا لواحد كي يمكن الحساب، لكن معرف بطاقة ومعرف شخص حقلان قد يحتاجان ربطًا في بيانات أخرى. إذا غاب الربط، تستطيع نور عد البطاقات المميزة باسمها. لا تمد النتيجة إلى أشخاص مميزين دون معلومة تحدد الوحدة التي انتقلت إليها.

نفتح نسخة مستقلة تغيب عنها معلومة خروج باء، وتقول البطاقة إننا لا نعرف هل خرج قبل 09:05 ولا نملك دليلًا بديلًا. تبقى بقية حالات الأشخاص كما أعطيناها، ونعرف ألف خارجًا وجيم داخلًا. إذن يوجد شخص مؤكد هو جيم، وحالة شخص واحد مجهولة هي باء. العدد النهائي بين 1 و 2 حسب الحالة المجهولة؛ لا نقدم توزيع احتمالات يجعل 1.5 تقديرًا لحضور فعلي.

إذا عالجت نور غياب صف الخروج بأنه لم يحدث خروج، فستكتب 2 مؤكدًا، لكنها تكون قد اختارت حالة باء دون دليل. وإذا نسخت خروج 09:00 من النسخة الأساسية، فستكتب 1 دون أن تستكمل النقص من مصدر النسخة الجديدة. كلاهما يغير شروط البطاقة الناقصة. تحفظ نور الحالة المجهولة مع معرفها، حتى يستطيع وصول دليل محدد استكمال العدد بدل إخفاء سبب عدم تحديده.

وليس كل غياب صف نقصًا؛ فقد يعلن ملف آخر أن حصره كامل وأنه لا توجد انتقالات إضافية. في تلك الحالة يعمل شرط اكتماله ضمن تعريفه. المهم أن ننقل صفة النسخة كما أعطيت، لا أن نفترض الكمال أو النقص بحسب العدد الذي نفضله. قصتنا ميزت النسخة الكاملة من الأخرى التي أعلنت مجهولًا، ولذلك اختلف نوع النتيجة الممكنة عند اللقطة نفسها.

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

في فرع معلن آخر، نعطي أربعة أشخاص آخرين مختلفي المعرفات داخل المكتب عند البداية، ونقول إنهم بقوا دون انتقال طوال النافذة. تصبح النهاية 4 زائد 3 ناقص 2، أي 5. لم نبدل الأحداث السبعة، وإنما أضفنا حالة بداية معلومة. يوضح الفرع لماذا لا يساوي الرقم 1 المستخرج من الفرق إجمالي النهاية إذا غاب وصف من كان موجودًا أصلًا قبل نافذة التسجيل التي نقرأها.

ولا نستنتج الأربعة من سعة المكتب أو عدد المكاتب أو بطاقات صدرت خلال شهر. لم تعط هذه الحقول حالتهم عند اللحظة المختارة، وقد تحمل وحدات أخرى. يسجل المراجع حالة البداية ومصدرها والفترة ونطاق الحدود، ثم يختبر اكتمال الانتقالات التي تغيرها. معرفة فرق الحركات مفيدة بوصفها فرقًا، لكنها لا تحول إجماليًا غائبًا إلى صفر لمجرد أن الصفر يجعل العملية قصيرة.

الرسم الأصلي يعرض خطوطًا زمنية لألف وباء وجيم، ويبين فترات الحضور واللقطتين المحددتين. يكتب لقطة 08:45 بشخصين ولقطة 09:05 بشخص واحد وفق النسخة الكاملة. لا يستخدم أسماء حقيقية أو صورة بوابة توحي بأننا رصدنا أشخاصًا. تبقى قائمة الصفوف ومعانيها في الجدول حتى يعيد القارئ حالة كل معرف دون أن يستنتجها من طول خط مرسوم وحده.

تحتفظ بطاقة نور بنطاق المكتب، ووقت البداية وحالتها، ومعنى الحدث، ووحدة المعرف، وترتيب الأوقات، وحالة اكتمال السجل ووقت اللقطة. ويمكن إرسال سبعة أحداث وثلاثة أشخاص ظهروا وشخص واحد موجود في نهاية النسخة الأساسية، بشرط تسمية كل عدد. لا تتنافس هذه النتائج على رقم صحيح وحيد؛ كل واحدة تجيب سؤالًا مختلفًا يمكن إعادته من الحقول المعطاة.

العدد المحسوب لا يثبت صلاحية نظام حقيقي أو صحة هوية أو اكتمال تسجيل لم نفحصه. لم نختبر أجهزة أو نستخرج سجلًا من مكتب، ولم نعط قواعد رقابة للموظفين. لدينا تمرين يبين ما يلزم لمراجعة علاقة الصفوف بالحالة. إذا وصل ملف واقعي، تبدأ نور بطلب تعريفاته وأدلته بدل نقل افتراض واحد لواحد أو صفر البداية أو اكتمال الأحداث من هذا النموذج إلى بياناته.

وعندما يقال إن الجدول يثبت عدد الموجودين، تطلب نور اسم اللقطة وحالة البداية وتعريف الصفوف التي تغير الداخل والخارج. إذا بقي حقل مجهول، تحفظه وتعرض النتيجة الممكنة بحدودها. هذا يختصر المتابعة إلى معلومة محددة، ويمنع تحويل أحداث بطاقات متكررة إلى أشخاص إضافيين أو تحويل عدم ظهور خروج إلى حضور مؤكد لم تعطه النسخة التي نراجعها.