वर्तमान में मैं सिक्योरिटी में लॉजिकल मेथड्स पर एक छोटा कोर्स (मास्टर्स लेवल पर चार दो घंटे का लेक्चर) सिखाता हूं , हालांकि सिक्योरिटी में फॉर्मल मेथड्स ज्यादा उपयुक्त हो सकते हैं। यह निम्नलिखित विषयों (संबंधित तार्किक विधियों के साथ) को संक्षेप में शामिल करता है:
डिजिटल अधिकार प्रबंधन और नीति प्रवर्तन (सामान्य औपचारिकता, मोडल तर्क, ऑटोमेटा के माध्यम से प्रवर्तन)
प्रमाण ले जाने वाला कोड और प्रमाण-पत्र प्रमाणीकरण (प्रमाण सिद्धांत, तार्किक प्रणाली, करी-हावर्ड समरूपता, सत्यापन)
अभिगम नियंत्रण (गैर-शास्त्रीय तर्कशास्त्र, प्रमाण सिद्धांत)
स्टैक इंस्पेक्शन (प्रोग्रामिंग लैंग्वेज शब्दार्थ, प्रासंगिक समतुल्यता, बिसिमुलेशन)
स्वाभाविक रूप से, पाठ्यक्रम में कई लक्ष्य हैं, जहां उनमें से एक संभावित स्नातक छात्रों को आकर्षित कर रहा है।
आने वाले वर्षों में पाठ्यक्रम को एक नियमित पाठ्यक्रम तक विस्तारित किया जा सकता है, जिसके लिए अधिक सामग्री की आवश्यकता होगी। यह देखते हुए कि यहां लोगों की पृष्ठभूमि खदान से काफी अलग है, मैं जानना चाहता हूं कि आप इस तरह के पाठ्यक्रम में क्या सामग्री शामिल करेंगे।