حصل اكاديمي سعودي في جامعة الملك سعود على براءة ابتكار امريكية في أمن المعلومات. وتوفر البراءة طريقة علمية ولغة منطقية للتحقق من سلبيات أمن المعلومات وتدفق المعلومات دون تضارب ووفقا للدكتور خالد الغثبر يمكن الاستفادة منها في هندسة المتطلبات ومرحلتي الاختبار والتطبيق الفعلي للانظمة والبرامج.