So another thing to notice over here is that while the Bell-LaPadula model prevents writing to files which are at a lower classification level, it does not prevent writing to files at higher classification levels, so this means at subject with a clearance of confidential can write files which are secret and top-secret, however this subject will not be able to read the other files, so this particular rule in the Bell-LaPadula model is added so as to achieve a formal proof of security.
यहाँ पर ध्यान देने वाली एक अन्य बात यह है कि बेल-लाडुपुला मॉडल उन फाइलों को लिखने से रोकता है जो निम्न वर्गीकरण स्तर पर हैं, यह उच्च वर्गीकरण स्तरों पर फाइलों को लिखने से नहीं रोकता है, तो सब्जेक्ट पर इसका मतलब गोपनीय की मंजूरी के साथ फाइल लिखना हो सकता है जो गुप्त और शीर्ष-गुप्त हों, हालांकि यह सब्जेक्ट अन्य फ़ाइलों को पढ़ने में सक्षम नहीं होगा, तो बेल-लॉपैडुला मॉडल में इस विशेष नियम को जोड़ा जाता है ताकि सुरक्षा के एक औपचारिक प्रमाण को प्राप्त किया जा सके।