It is considered easier to verify software reliability if one can be sure that different parts of the program can only access (and therefore depend on) a known limited amount of information.
זה נחשב לקל יותר כדי לוודא את אמינות התוכנה, אם אפשר להיות בטוחים שאפשר לקבל גישה אל חלקים שונים של התוכנה (ולכן זה תלוי) וכן יש כמות מוגבלת של מידע.