सुरक्षा के लिए डेल और ला-पदुला मॉडल की व्याख्या करें।
बेल और ला पदुला मॉडल – बेल और ला पदुला अपने मॉडल को औपचारिक बनाने के लिए परिमित-राज्य मशीनों का उपयोग करते हैं। वे परिमित राज्य मशीन के विभिन्न घटकों को परिभाषित करते हैं, परिभाषित करते हैं कि किसी दिए गए सिस्टम स्थिति के लिए इसका क्या अर्थ है (औपचारिक रूप से), और फिर उन संक्रमणों पर विचार करें जिन्हें अनुमति दी जा सकती है ताकि एक सुरक्षित स्थिति कभी भी असुरक्षित स्थिति का कारण न हो।
एक्सेस मैट्रिक्स मॉडल के विषयों और वस्तुओं के अलावा, इसमें सैन्य सुरक्षा प्रणाली के सुरक्षा स्तर शामिल हैं: प्रत्येक विषय में एक प्राधिकरण होता है और प्रत्येक ऑब्जेक्ट में वर्गीकरण होता है। प्रत्येक विषय में वर्तमान सुरक्षा स्तर भी होता है, जो विषय के अधिकार से अधिक नहीं हो सकता है। एक्सेस मैट्रिक्स को ऊपर के रूप में परिभाषित किया गया है, और एक्सेस के चार तरीके नामित हैं और निम्नानुसार निर्दिष्ट हैं:
• केवल पढ़ने के लिए: विषय वस्तु को पढ़ सकता है लेकिन इसे संशोधित नहीं कर सकता;
• संलग्न करें: विषय वस्तु लिख सकता है लेकिन इसे पढ़ नहीं सकता;
• निष्पादित करें: विषय ऑब्जेक्ट निष्पादित कर सकता है लेकिन इसे सीधे पढ़ या लिख नहीं सकता है; तथा
• पढ़ें-लिखें: विषय वस्तु को पढ़ और लिख सकता है।