Ақпараттық жүйелерде типтік күшін қолдану механизмі
Type enforcement
Қауіпсіздік жүйелеріндегі типтік күшін беру (TE) – деректерге қолжеткізуді реттейтін механизм. SELinux-тағы қауіпсіздік контексі кеңейтілген атрибут болып табылады.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Типтік күштеу (ТК) тұжырымы, ақпараттық технология саласында, компьютерлік жүйелерде кіруді реттеуге арналған кіруді бақылау механизмі болып табылады. ТК-ны іске асыру міндетті кіруді бақылауға (MAC) дискрециялық кіруді бақылаудан (DAC) басымдық береді. Кіруге рұқсат алдымен объектілерге (мысалы, файлдар, жазбалар, хабарламалар) кіретін субъектіге (мысалы, процеске) беріледі, бұл рұқсат қосылған қауіпсіздік контексінде анықталған ережелерге негізделген. Домендегі қауіпсіздік контексі домендік қауіпсіздік саясатымен анықталады. SELinux-тағы Linux қауіпсіздік модулінде (LSM) қауіпсіздік контексі кеңейтілген атрибут болып табылады. Типтік күштеуді енгізу MAC-тің қажетті шарты болып табылады және көп деңгейлі қауіпсіздікке (MLS) немесе оның орнына көп категориялы қауіпсіздікке (MCS) жасалатын алғашқы қадам болып табылады. Бұл рөлге негізделген кіруді бақылаудың (RBAC) толықтыруы болып табылады.
The concept of type enforcement (TE), in the field of information technology, is an access control mechanism for regulating access in computer systems. Implementing TE gives priority to mandatory access control (MAC) over discretionary access control (DAC). Access clearance is first given to a subject (e. g. process) accessing objects (e. g. files, records, messages) based on rules defined in an attached security context. A security context in a domain is defined by a domain security policy. In the Linux security module (LSM) in SELinux, the security context is an extended attribute. Type enforcement implementation is a prerequisite for MAC, and a first step before multilevel security (MLS) or its replacement multi categories security (MCS). It is a complement of role based access control (RBAC).
Бақылау
Типтік күшін қолдану операциялық жүйенің ең ұсақ деңгейде бақылауын қамтамасыз етеді, бұл процестердің орындалуын ғана емес, сонымен қатар домендердің ауысуын немесе рұқсаттама схемасын да бақылауға мүмкіндік береді. Сондықтан, оны SELinux сияқты ядролық модуль ретінде жүзеге асыру тиімді. Типтік күшін қолдану FLASK архитектурасын жүзеге асырудың бір жолы болып табылады.
Type enforcement implies fine grained control over the operating system, not only to have control over process execution, but also over domain transition or authorization scheme. This is why it is best implemented as a kernel module, as is the case with SELinux. Using type enforcement is a way to implement the FLASK architecture.
Қол жеткізу
Түрді қолдану арқылы пайдаланушылар (Microsoft Active Directory-дегідей) Керберос саласымен байланыстырылуы немесе байланыстырылмауы мүмкін (SELinux-тағыдай), бірақ түпкілікті түрді қолдану моделі мұны көздейді. Рұқсаттар схемасына сәйкес, берілген қауіпсіздік контексіне берілген рұқсаттар туралы ережелерді немесе субъектілердің объектілерге қатысты құқықтарын қамтитын ТЕ кіру матрицасын анықтау әрқашан қажет.
Using type enforcement, users may (as in Microsoft Active Directory) or may not (as in SELinux) be associated with a Kerberos realm, although the original type enforcement model implies so. It is always necessary to define a TE access matrix containing rules about clearance granted to a given security context, or subject's rights over objects according to an authorization scheme.
Қауіпсіздік
Іс жүзінде, типтік күшейту субъектінің бастапқы қауіпсіздік контекстінен алынған ережелер жиынтығын, объектінің мақсатты қауіпсіздік контекстінен алынған ережелер жиынтығымен салыстырады. ТЭ кіру сипаттамасы (матрица) негізінде рұқсат ету туралы шешім қабылданады. Содан кейін DAC немесе басқа да кіруді бақылау механизмдері (MLS / MCS, ) қолданылады.
Practically, type enforcement evaluates a set of rules from the source security context of a subject, against a set of rules from the target security context of the object. A clearance decision occurs depending on the TE access description (matrix). Then, DAC or other access control mechanisms (MLS / MCS, ) apply.
Тарих
Түрді күшейту 1980-ші жылдардың соңында Secure Ada Target архитектурасында енгізілді және Логикалық Coprocessing Kernel (LOCK) жүйесінде толыққанды іске асырылды. Sidewinder Internet Firewall типтік қолдануды қамтитын Unix-тің арнайы нұсқасында іске асырылды. Trusted MACH жүйесінде домендік типтік күшейту деп аталатын түрі жасалды. Алғашқы модельде субъект пен объектке белгілер тағайындалуы керек еді: субъект үшін – «домендік белгі», ал объект үшін – «типтік белгі». Бұл іске асыру механизмі FLASK архитектурасымен жақсартылды, күрделі құрылымдар мен түсініксіз байланыстармен алмастырылды. Сонымен қатар, бастапқы ТЭ қол жеткізу матрицасы басқа құрылымдарға дейін кеңейтілді: торға негізделген, тарихқа негізделген, ортаға негізделген, саясат логикасы. Бұл түрлі операциялық жүйелерде ТЭ-ні іске асыру мәселесі. SELinux-та ТЭ іске асыруы ТЭ доменін ТЭ типтерінен ішкі түрде ажыратпайды. ТЭ-нің бастапқы моделінің кемшілігі ретінде, әсіресе белгілер мен матрица сияқты егжей-тегжейлі іске асыру аспектілерін анықтау, сондай-ақ «домен» және «типтер» терминдерін қолдану, олардың басқа, жалпы және кеңінен қабылданған мағыналары бар, қарастырылуы керек.
Type enforcement was introduced in the Secure Ada Target architecture in the late 1980s with a full implementation developed in the Logical Coprocessing Kernel (LOCK) system. The Sidewinder Internet Firewall was implemented on a custom version of Unix that incorporated type enforcement. A variant called domain type enforcement was developed in the Trusted MACH system. The original type enforcement model stated that labels should be attached to subject and object: a “domain label” for a subject and a “type label” for an object. This implementation mechanism was improved by the FLASK architecture, substituting complex structures and implicit relationship. Also, the original TE access matrix was extended to other structures: lattice based, history based, environment based, policy logic This is a matter of implementation of TE by the various operating systems. In SELinux, TE implementation does not internally distinguish TE domain from TE types. It should be considered a weakness of TE original model to specify detailed implementation aspects such as labels and matrix, especially using the terms “domain” and “types” which have other, more generic, widely accepted meanings.