Formális biztonsági modellek hálózati aspektusai

Magosányi Árpád <mag@lme.linux.hu>

Linux-Felhasználók Magyarországi Egyesülete

A formá lis biztonsá gi modellekkel kapcsolatos kutatá s egyik kevé ssé kutatott terü lete azok há ló zatbiztonsá gi aspektusai. Errő l a jelenlegi tű zfalpiac ké tsé gbeejtő helyzete é kesen tanú skodik. Az elő adá s rö viden bemutatja a legelterjedtebb formá lis modelleket, ré szletesebben elemezve a há ló zatbiztonsá g szempontjá bó l fontosabb modelleket, megadva a Bell-LaPadula modell egy a há ló zati hatá rvé delem né ző pontjá ba jó l illeszkedő kiterjeszté sé t. Lazí tá ské nt megtekintjü k a modell egy gyakorlati megvaló sí tá sá t a Zorp tű zfalszoftver segí tsé gé vel.