সুরক্ষায় লজিকাল পদ্ধতিতে বর্তমানে আমি একটি ছোট কোর্স (মাস্টার্স পর্যায়ে চার ঘন্টার বক্তৃতা) পড়ি , যদিও সুরক্ষায় আনুষ্ঠানিক পদ্ধতিগুলি শিরোনামটি আরও উপযুক্ত হতে পারে। এটি সংক্ষিপ্তভাবে নিম্নলিখিত বিষয়গুলি (সম্পর্কিত যুক্তিযুক্ত পদ্ধতি সহ) কভার করে:
ডিজিটাল রাইটস ম্যানেজমেন্ট এবং নীতি প্রয়োগকারী (সাধারণ আনুষ্ঠানিককরণ, মডেল লজিক, অটোমেটার মাধ্যমে প্রয়োগকরণ)
প্রুফ বহনকারী কোড এবং প্রুফ বহনকারী প্রমাণীকরণ (প্রুফ তত্ত্ব, লজিক্যাল সিস্টেম, কারি-হাওয়ার্ড আইসোমর্ফিিজম, যাচাইকরণ)
অ্যাক্সেস নিয়ন্ত্রণ (অ-শাস্ত্রীয় লজিকস, প্রুফ তত্ত্ব)
স্ট্যাক পরিদর্শন (প্রোগ্রামিং ভাষার শব্দার্থবিদ্যা, প্রাসঙ্গিক সমতুল্যতা, বিসিমুলেশন)
স্বাভাবিকভাবেই, কোর্সের একাধিক লক্ষ্য রয়েছে, যেখানে তাদের মধ্যে একটি সম্ভাব্য স্নাতক শিক্ষার্থীদের আকর্ষণ করছে।
আগামী বছরগুলিতে কোর্সটি একটি নিয়মিত কোর্সে প্রসারিত হতে পারে, যার জন্য আরও সামগ্রীর প্রয়োজন হবে। এখানকার লোকের পটভূমি আমার থেকে একেবারে আলাদা, এই ধরণের কোর্সে আপনি কোন বিষয়বস্তু অন্তর্ভুক্ত করবেন তা আমি জানতে চাই।