Legújabb szám
Muha Lajos Absztrakt A biztonságos informatikai rendszerek megteremtésére irányuló erőfeszítések folyamatosak. A nagy biztonságú informatikai rendszerek esetében alapvető követelmény a biztonság formális leírása és bizonyítása. Ezért már az informatikai biztonság kezdetétől számos formális modellt dolgoztak ki a biztonsági elvárások leírására és bizonyítására. Ez a cikksorozat ezeket a formális modelleket kívánja bemutatni, és felhasználhatóságuk szempontjából összehasonlítani. Jelen a cikk a hozzáférés-vezérlés elveit és alapvető eljárásait írja le. Efforts to build secure computer systems are continuous. The formally description and verification of security is a fundamental requirement of the high-security information systems. Therefore, many formal models have been developed to describe and verification of security requirements. This article series aims to present them and their comparison, based on the usability. This article reviews basic principles and procedures of the access control. Kulcsszavak: informatikai biztonság, adatvédelem, bizalmasság, sértetlenség, formális modell, hozzáférés-ellenőrzés, biztonsági osztályok ~ information security, privacy, confidentiality, integrity, formal model, access control, security classes
|
»