Network perimeter security aspects of formal access control models

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

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

The network perimeter security aspects of the formal access control modells is only slightly researched area. The current terrible state of the firewall market shows this. The lecture shortly introduces the most important formal models, with greater emphasis on the ones which have bigger relevance to network seurity. We will introduce an extension of the Bell-LaPadula modell which is more easily applicable for network perimeter security problems. As a relaxation, we will see an implementation of the modell using the Zorp firewall software.