Кіріспе
Мемлекеттік машина моделі үкіметтік және әскери қолданбаларда қолжетімділікті бақылауды қамтамасыз ету үшін қолданылады. Белл-Лападула моделі (BLP) – үкіметтік және әскери қолданбаларда қолжетімділікті бақылау үшін қолданылатын мемлекеттік машина моделі. Ол Дэвид Эллиотт Белл және Леонард Дж. Лападула, Роджер Р. Шеллдің бағыттылығымен, АҚШ Қорғаныс министрлігінің (DoD) көп деңгейлі қауіпсіздік (MLS) саясатын ресми түсіндіру мақсатымен әзірленді. Бұл модель компьютерлік қауіпсіздік саясатының ресми мемлекеттік өту моделі болып табылады, ол объектілерге қауіпсіздік белгілерін және субъектілерге рұқсат деңгейлерін қолданатын кіруді бақылау ережелері жиынтығын сипаттайды. Қауіпсіздік белгілері ең жоғары құпиялыдан (мысалы, "Жоғары құпия") ең төмен құпиялыға дейін (мысалы, "Құпиялы емес" немесе "Ашық") дейін ауысады. Белл-Лападула моделі – қорғау және қауіпсіздік арасында айқын шекара жоқ модельдің мысалы.
The Bell–LaPadula model (BLP) is a state machine model used for enforcing access control in government and military applications. It was developed by David Elliott Bell, and Leonard J. LaPadula, subsequent to strong guidance from Roger R. Schell, to formalize the U. S. Department of Defense (DoD) multilevel security (MLS) policy. The model is a formal state transition model of computer security policy that describes a set of access control rules which use security labels on objects and clearances for subjects. Security labels range from the most sensitive (e. g., "Top Secret"), down to the least sensitive (e. g., "Unclassified" or "Public"). The Bell–LaPadula model is an example of a model where there is no clear distinction between protection and security.
Ерекшеліктері
Bell-LaPadula моделі деректердің құпиялылығына және құпия ақпаратқа бақыланатын қол жеткізуге баса назар аударады, ал Biba Integrity Model деректердің тұтастығын қорғау ережелерін сипаттайды. Бұл формальды модельде ақпараттық жүйенің элементтері субъектілер мен объектілерге бөлінеді. "Қауіпсіз күй" түсінігі анықталады және әрбір күй өзгерісі қауіпсіздікті сақтайды, яғни қауіпсіз күйден қауіпсіз күйге өтеді, соның арқасында жүйе модельдің қауіпсіздік мақсаттарына сәйкес келеді деп индуктивті түрде дәлелдеуге болады. Bell-LaPadula моделі компьютерлік жүйедегі рұқсат етілген күйлер жиынтығымен сипатталатын күй машинасы тұжырымдамасына негізделген. Бір күйден екінші күйге өту, өтпелі функциялар арқылы анықталады. Жүйе күйі "қауіпсіз" деп есептеледі, егер субъектілердің объектілерге қол жеткізу тәсілдері қауіпсіздік саясатына сәйкес болса. Нақты қол жеткізу режимінің рұқсат етілуін анықтау үшін субъектінің рұқсаты объектінің сыныптамасымен (немесе дәлірек айтқанда, сыныптама мен бөлімдер жиынтығының комбинациясымен, қауіпсіздік деңгейін құрайды) салыстырылады, соның нәтижесінде субъектінің нақты қол жеткізу режиміне рұқсаты бар-жоғы анықталады. Рұқсаттама/сыныптама схемасы тор түрінде бейнеленеді. Модель үш қауіпсіздік қасиеті бар бір дискрециялық қол жеткізуді бақылау (DAC) ережесін және екі міндетті қол жеткізуді бақылау (MAC) ережесін анықтайды:
The Simple Security Property states that a subject at a given security level may not read an object at a higher security level. The * (Star) Security Property states that a subject at a given security level may not write to any object at a lower security level. The Discretionary Security Property uses an access matrix to specify the discretionary access control. The transfer of information from a high sensitivity document to a lower sensitivity document may happen in the Bell–LaPadula model via the concept of trusted subjects. Trusted Subjects are not restricted by the Star property. Trusted Subjects must be shown to be trustworthy with regard to the security policy. The Bell–LaPadula security model is directed toward access control and is characterized by the phrase "write up, read down" (WURD). Compare the Biba model, the Clark–Wilson model, and the Chinese Wall model. With Bell–LaPadula, users can create content only at or above their own security level (i. e. secret researchers can create secret or top secret files but may not create public files; no write down). Conversely, users can view content only at or below their own security level (i. e. secret researchers can view public or secret files, but may not view top secret files; no read up). The Bell–LaPadula model explicitly defined its scope. It did not treat the following extensively:
Covert channels. Passing information via pre arranged actions was described briefly. Networks of systems. Later modeling work did address this topic. Policies outside multilevel security. Work in the early 1990s showed that MLS is one version of boolean policies, as are all other published policies.
Қарапайым қауіпсіздік қасиеті, субъектінің белгілі бір қауіпсіздік деңгейінде жоғары қауіпсіздік деңгейіндегі объектіні оқи алмайтынын көрсетеді. *(Жұлдыз) қауіпсіздік қасиеті, субъектінің белгілі бір қауіпсіздік деңгейінде төменгі қауіпсіздік деңгейіндегі объектіге жаза алмайтынын көрсетеді. Дискрециялық қауіпсіздік қасиеті дискрециялық қол жеткізуді бақылау үшін қол жеткізу матрицасын пайдаланады. Bell-LaPadula моделінде сенімді субъектілер арқылы жоғары сезімталдық деңгейіндегі құжаттан төмен сезімталдық деңгейіндегі құжатқа ақпарат беру мүмкін. Сенімді субъектілерге Жұлдыз қасиеті қолданылмайды. Сенімді субъектілердің қауіпсіздік саясатына сәйкес сенімді екендігін көрсету қажет. Bell-LaPadula қауіпсіздік моделі қол жеткізуді бақылауға бағытталған және "жазу жоғары, оқу төмен" (WURD) фразасымен сипатталады. Biba моделімен, Clark–Wilson моделімен және Қытай қабырғасы моделімен салыстырыңыз. Bell-LaPadula моделінде пайдаланушылар өздерінің қауіпсіздік деңгейінде немесе одан жоғары деңгейдегі мазмұнды ғана жасай алады (мысалы, құпия зерттеушілер құпия немесе жоғары құпия файлдарды жасай алады, бірақ қоғамдық файлдарды жасай алмайды; жазуға рұқсат жоқ). Керісінше, пайдаланушылар өздерінің қауіпсіздік деңгейінде немесе одан төмен деңгейдегі мазмұнды ғана көре алады (мысалы, құпия зерттеушілер қоғамдық немесе құпия файлдарды көре алады, бірақ жоғары құпия файлдарды көре алмайды; оқуға рұқсат жоқ). Bell-LaPadula моделі өзінің қолданылу аясын нақты анықтады. Ол келесілерді кеңінен қарастырмады:
The Simple Security Property states that a subject at a given security level may not read an object at a higher security level. The * (Star) Security Property states that a subject at a given security level may not write to any object at a lower security level. The Discretionary Security Property uses an access matrix to specify the discretionary access control. The transfer of information from a high sensitivity document to a lower sensitivity document may happen in the Bell–LaPadula model via the concept of trusted subjects. Trusted Subjects are not restricted by the Star property. Trusted Subjects must be shown to be trustworthy with regard to the security policy. The Bell–LaPadula security model is directed toward access control and is characterized by the phrase "write up, read down" (WURD). Compare the Biba model, the Clark–Wilson model, and the Chinese Wall model. With Bell–LaPadula, users can create content only at or above their own security level (i. e. secret researchers can create secret or top secret files but may not create public files; no write down). Conversely, users can view content only at or below their own security level (i. e. secret researchers can view public or secret files, but may not view top secret files; no read up). The Bell–LaPadula model explicitly defined its scope. It did not treat the following extensively:
Covert channels. Passing information via pre arranged actions was described briefly. Networks of systems. Later modeling work did address this topic. Policies outside multilevel security. Work in the early 1990s showed that MLS is one version of boolean policies, as are all other published policies.
Алдын ала келісілген әрекеттер арқылы ақпарат беру туралы қысқаша сипаттама берілді. Жүйелер желілері. Кейінгі модельдеу жұмыстары осы мәселені қарастырды. Көп деңгейлі қауіпсіздіктің сыртындағы саясаттар. 1990 жылдардың басындағы жұмыстар MLS-тің Буль саясатының бір түрі екенін көрсетті, басқа барлық жарияланған саясаттар сияқты.
The Simple Security Property states that a subject at a given security level may not read an object at a higher security level. The * (Star) Security Property states that a subject at a given security level may not write to any object at a lower security level. The Discretionary Security Property uses an access matrix to specify the discretionary access control. The transfer of information from a high sensitivity document to a lower sensitivity document may happen in the Bell–LaPadula model via the concept of trusted subjects. Trusted Subjects are not restricted by the Star property. Trusted Subjects must be shown to be trustworthy with regard to the security policy. The Bell–LaPadula security model is directed toward access control and is characterized by the phrase "write up, read down" (WURD). Compare the Biba model, the Clark–Wilson model, and the Chinese Wall model. With Bell–LaPadula, users can create content only at or above their own security level (i. e. secret researchers can create secret or top secret files but may not create public files; no write down). Conversely, users can view content only at or below their own security level (i. e. secret researchers can view public or secret files, but may not view top secret files; no read up). The Bell–LaPadula model explicitly defined its scope. It did not treat the following extensively:
Covert channels. Passing information via pre arranged actions was described briefly. Networks of systems. Later modeling work did address this topic. Policies outside multilevel security. Work in the early 1990s showed that MLS is one version of boolean policies, as are all other published policies.
Жұлдыздың күшті қасиеті
Strong Star қасиеті * қасиетіне балама болып табылады, онда субъектілер тек сәйкес келетін қауіпсіздік деңгейі бар объектілерге ғана жаза алады. Осылайша, әдеттегі * қасиетінде рұқсат етілген жоғары деңгейден төменгі деңгейге жазу операциясы болмайды, тек бір деңгейде жазу мүмкіндігі бар. Strong Star қасиеті көбінесе көп деңгейлі деректер базасын басқару жүйелерінің аясында талқыланады және деректердің тұтастығына қатысты мәселелермен байланысты. Бұл Strong Star қасиеті Биба моделінде күткендей болды, онда Белл-ЛаПадула моделімен үйлесімде күшті тұтастық бір деңгейде оқу мен жазуға әкелетіні көрсетілді.
Тыныштық қағидаты
Белл-Лападула моделінің тыныштық принципі субъект немесе объектке сілтеме жасалған кезде олардың жіктелуі өзгермейді деп мәлімдейді. Тыныштық принципінің екі түрі бар: "күшті тыныштық принципі" жүйенің қалыпты жұмыс істеу кезінде қауіпсіздік деңгейлері өзгермейтінін айтады. "Әлсіз тыныштық принципі" қауіпсіздік деңгейлері ешқашан белгілі бір қауіпсіздік саясатын бұзатындай етіп өзгермеуі мүмкін екенін көрсетеді. Әлсіз тыныштық, жүйелерге ең аз құқықтар принципін сақтауға мүмкіндік беретіндіктен қажет. Яғни, процестер иелерінің рұқсат деңгейіне қарамастан, төменгі рұқсат деңгейімен басталады және қажеттілік туғанда жоғары рұқсат деңгейлерін біртіндеп жинақтайды.