Jazyk pro bezpečnostní kontroly s lidským vstupem

Open Checklist Interactive Language, OCIL

OCIL je strukturovaný jazyk pro bezpečnostní kontroly, jejichž výsledek nelze určit bez odpovědi nebo úkonu člověka.

Kontrolní nástroj může uživateli položit otázku, vyžádat potvrzení nastavení nebo zaznamenat ručně ověřený důkaz. Popis kontroly a odpověď lze uchovat ve strojově zpracovatelné podobě spolu s automatickými výsledky. Lidská odpověď však vyžaduje důvěryhodný proces a sama o sobě není nezávislým technickým ověřením.