Bell-LaPadula modeli təhlükəsizlik siyasətinin formal avtomat modelidir, girişin idarə edilməsi qaydaları çoxluğunu təsvir edir.
Bu modeldə sistemin komponentləri təhlükəsizlik obyektlərinə və subyektlərinə bölünür. Təhlükəsiz vəziyyət anlayışı daxil edilir və isbat edilir ki, əgər hər bir keçid təhlükəsiz vəziyyəti saxlayırsa (yəni sistemi bir təhlükəsiz vəziyyətdən digər təhlükəsiz vəziyyətə keçirirsə), onda induksiya prinsipinə görə sistem təhlükəsizdir.