הצגת המקור של הדף "HRU (אבטחה)"

'''מודל HRU''' (מודל '''H'''arrison, '''R'''uzzo, '''U'''llman) הוא מודל [[אבטחת מידע]] ברמת [[מערכת הפעלה|מערכת ההפעלה]] אשר מטפל [[עקביות (פסיכולוגיה)|בשלמות]] [[בקרת גישה|זכויות הגישה]] במערכת. המודל הוא הרחבה של מודל גרהם-דנינג, ומבוסס על הרעיון של [[קבוצה סופית]] של [[אלגוריתם|נהלים]] זמינה לעריכת זכויות הגישה של ישות <math>s</math> על אובייקט <math>o</math>. הוא נקרא על שם שלושת מחבריו, מייקל א. '''ה'''ריסון, וולטר ל. '''ר'''וזו ו[[ג'פרי אולמן|ג'פרי '''א'''ולמן]].

לצד הצגת המודל, הריסון, רוצו ואולמן דנו גם באפשרויות ובמגבלות של הוכחת בטיחותן של מערכות באמצעות [[אלגוריתם]].

== תיאור הדגם ==
מודל HRU מגדיר מערכת הגנה המורכבת מקבוצה של זכויות גנריות R ומערכת של פקודות C. תיאור מיידי של המערכת נקרא תצורה ומוגדר כ- [[N-יה סדורה]]<math>(S,O,P)</math> של הנושאים הנוכחיים <math>S</math>, חפצים נוכחיים <math>O</math> ומטריצת גישה <math>P</math>. מכיוון שהנושאים נדרשים להיות חלק מהאובייקטים, מטריצת הגישה מכילה שורה אחת לכל נושא ועמודה אחת לכל ישות ואובייקט. ערך לישות <math>s</math> ולאובייקט <math>o</math> מהווה תת-קבוצה של הזכויות הגנריות <math>R</math> .

הפקודות מורכבות מפעולות פרימיטיביות ויכולות לכלול גם רשימה של תנאים מוקדמים המחייבים זכויות מסוימות להיות נוכחות עבור זוג <math>(s,o)</math> של נושאים וחפצים.

הבקשות הפרימיטיביות יכולות לשנות את מטריצת הגישה על ידי הוספה או הסרה של זכויות גישה עבור זוג נושאים ואובייקטים ועל ידי הוספה או הסרה של נושאים או אובייקטים. יצירת נושא או אובייקט מחייבת שהנושא או האובייקט לא יהיו קיימים בתצורה הנוכחית, בעוד שמחיקה של נושא או אובייקט מחייבת שהוא היה קיים לפני המחיקה. בפקודה מורכבת, רצף של פעולות מבוצע רק כמכלול. פעולה כושלת ברצף גורמת לכל הרצף להיכשל, סוג של [[תנועה (מערכות מידע)|טרנזקציית מסד נתונים]] .

== דיון בנושא בטיחות ==
הריסון, רוצו ואולמן דנו האם קיים אלגוריתם שלוקח תצורה ראשונית שרירותית ועונה על השאלה הבאה: האם יש רצף שרירותי של פקודות שמוסיף זכות גנרית לתא של מטריצת הגישה במקום בו היא לא הייתה. בתצורה הראשונית?

הם הראו שאין אלגוריתם כזה, ולכן הבעיה אינה ניתנת להכרעה במקרה הכללי. הם גם הראו מגבלה של המודל לפקודות עם פעולה פרימיטיבית אחת בלבד כדי להפוך את הבעיה לניתנת להכרעה.

==קישורים חיצוניים==
<div class="mw-content-ltr">
* {{cite journal | first1 = Michael A. | last1 = Harrison | first2 = Walter L. | last2 = Ruzzo | first3 = Jeffrey D. | last3 = Ullman | citeseerx = 10.1.1.106.7226 | title = Protection in Operating Systems | journal = Communications of the ACM | volume = 19 | issue = 8 | pages = 461–471 |date=August 1976 | doi=10.1145/360303.360333}}
</div>

[[קטגוריה:אבטחת מחשבים]]
[[קטגוריה:המרחב הקיברנטי]]