Saat ini saya mengajar kursus kecil (Empat dua jam kuliah di tingkat Master) tentang Metode Logika dalam Keamanan , meskipun judul Metode Formal dalam Keamanan mungkin lebih tepat. Ini mencakup secara singkat topik-topik berikut (dengan metode logis terkait):
Manajemen Hak Digital dan Penegakan Kebijakan (formalisasi umum, logika modal, penegakan via automata)
Kode pembawa bukti dan otentikasi pembawa bukti (teori bukti, sistem logis, Curry-Howard Isomorphism, verifikasi)
Kontrol Akses (logika non-klasik, teori bukti)
Stack Inspection (semantik bahasa pemrograman, kesetaraan kontekstual, bisimulasi)
Tentu saja, program ini memiliki beberapa tujuan, di mana salah satunya menarik minat calon mahasiswa pascasarjana.
Di tahun-tahun mendatang kursus dapat diperluas ke kursus reguler, yang akan membutuhkan lebih banyak konten. Mengingat latar belakang orang-orang di sini sangat berbeda dengan saya, saya ingin tahu konten apa yang akan Anda sertakan dalam kursus semacam itu.