सुरक्षितता
आम्ही असे नुकसान तपासतो जे कागदावरील नैतिकता पकडू शकत नाही.
प्रत्येक आवृत्तीपूर्वी, CIRIS 29 भाषांत मानसिक आरोग्य सुरक्षा चाचण्या चालवतो. प्रत्येक भाषेसाठी कठीण चाचणी प्रकरणे, लिखित गुण मार्गदर्शिका, आणि यंत्राने तपासता येणारे नियम आहेत. जर एखादी चाचणी अयशस्वी झाली, तर आवृत्ती अडवली जाते. दोन अधिक रक्षक एजंटच्या आत काम करतात: एक विवेक तपासणी जी नकार किंवा स्थगिती करू शकते, आणि एक बाउन्स जो संशयास्पद निर्णय शहाण्या माणसाकडे पाठवतो.
अभियांत्रिकी
नेटवर्क फॅब्रिक, मोजलेले
वरील संशोधन हा पुराव्याचा एक भाग आहे. दुसरा भाग म्हणजे ते वाहून नेणारे नेटवर्क. फॅब्रिक हलवत असलेला प्रत्येक बाइट post-quantum-signed असतो, आणि खर्च एका सार्वजनिक CI runner वर मोजला जातो, अंदाजला जात नाही. स्वतः चालवा आणि तुम्हाला तेच आकडे मिळतील.
सिद्धांत
दावे लिहून ठेवले आहेत, कोणीही वाचू शकतो, आणि चुकीचे सिद्ध होण्यासाठी बांधले आहेत.
अनुपालन
चार प्रशासन आराखड्यांशी, नियम दर नियम, जोडले.
आम्ही CIRIS ला चार सार्वजनिक प्रशासन आराखड्यांशी जोडतो आणि प्रत्येक नियमासाठी दाखवतो की CIRIS काय करते आणि ते सिद्ध करणारे नियंत्रण काय आहे. हे एक थेट आलेख आहे जो तुम्ही पाहू शकता, स्लाइड नाही.
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
पारदर्शकता