ऐसे मामले में, आप क्या कहते हैं कि हम अपने सिस्टम को लेते हैं जो इस बंद बॉक्स द्वारा यहां दर्शाया गया है और सिस्टम का गणितीय रूप से विश्लेषण करता है जैसे स्थैतिक विश्लेषण, सीओक्यू मॉडल चेकर्स जैसे एक औपचारिक सबूत सहायक और इसलिए सिस्टम को प्रमाणित करता है। पूरी तरह से दोषरहित और जैसा कि हम जानते हैं कि यदि सिस्टम में कोई खामियां नहीं हैं, तो कोई कमजोरियां नहीं हैं और अगर कोई कमजोरियां नहीं हैं तो सिस्टम पर कोई हमला नहीं हो सकता है।
अशा परिस्थितीत आपण काय म्हणता ते म्हणजे आम्ही आमच्या सिस्टीमला या बंद बॉक्सद्वारे प्रतिनिधित्व करतो आणि स्थिर विश्लेषण, औपचारिक पुरावा सहाय्यक जसे की सीओक़्यु मॉडेल चेकर्स सारख्या साधनांचा वापर करून गणिताचे विश्लेषण करतो आणि म्हणूनच सिस्टम हे प्रमाणित करतो की पूर्णपणे निर्दोष आणि आम्हाला माहित आहे की प्रणालीमध्ये काही त्रुटी आहेत किंवा नाही तर काही असुरक्षा नाहीत आणि जर काही असुरक्षितता नसेल तर सिस्टमवर कोणतेही हल्ले होऊ शकत नाहीत.