गार्डरेल्स: सिस्टम डिज़ाइन
यह निर्दिष्ट करता है कि अविश्वसनीय प्राप्त या उपयोगकर्ता सामग्री उपकरणों को अधिकृत नहीं कर सकती या रहस्यों को बाहर नहीं निकाल सकती, कि मॉडल एक प्रलेखित निर्देश पदानुक्रम का पालन करता है, और कि आउटपुट को विशेषाधिकार प्राप्त साइड इफेक्ट्स से पहले फ़िल्टर किया जाता है।