אבטחת הבטיחות מבוססת על עקרון  STAMP של ננסי לבסון (2004), על פיו המערכת צריכה לפעול על פי חוקים שהוגדרו כחוקי התפעול.

עקרון STAMP מבוסס על הרעיון של תכנון מונחה חוקים, שפותח בשנת 1967 ומומש בשפת התכנות Prolog (Colmerauer). פרדיגמת STAMP  מאפשרת להגדיר חסינות מערכת במונחים של ציות לחוקי התפעול. ההנחה היא שאירועי בטיחות נובעים מהפרה של כללים המגדירים (במפורש בו ע"פ מוסכמה) את התפעול התקין.

עקרון הבקרה העצמית קובע יישום של עקרון הפעילות על פי חוקים. העקרון הוא שהמערכת צריכה לבקר את הפעילות של עצמה, לאלץ את עצמה לפעול על פי הכללים. עקרון זה מבוסס עלהרעיון של הגדרת חוקים לאיתור טעויות שימוש בתוכנות ועל עקרון הבדיקה העצמית בעזרת אינדיקטורים לחריגה מהכללים (Harel, 1999).

ההנחיות במדריך זה מתייחסות לתכן של יחידת בקרה המיועדת לממש את עקרון הבקרה העצמית. ספציפית, ההנחיות מתייחסות אל מימוש הכללים ביחידת הבקרה, ואל תגובה המערכת במצבים של חריגה מהכללים.