Nesta apresentação faremos uma introdução sobre o AppArmor, um sistema de controle de acesso mandatório para sistemas operacionais. O intuito não é demonstrar como utilizar o AppArmor para fazer o confinamento de aplicações, mas sim entender o seu funcionamento em baixo nível.
Iremos explorar como o AppArmor utiliza certas abstrações e técnicas para funcionar de forma robusta e consistente, incluindo:
- gramáticas formais;
- autômatos finitos;
- análise léxica (flex) e
- análise sintática (bison).