পাঠ্যক্রম: সুরক্ষার মধ্যে যৌক্তিক / আনুষ্ঠানিক পদ্ধতি


22

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

  • ডিজিটাল রাইটস ম্যানেজমেন্ট এবং নীতি প্রয়োগকারী (সাধারণ আনুষ্ঠানিককরণ, মডেল লজিক, অটোমেটার মাধ্যমে প্রয়োগকরণ)

  • প্রুফ বহনকারী কোড এবং প্রুফ বহনকারী প্রমাণীকরণ (প্রুফ তত্ত্ব, লজিক্যাল সিস্টেম, কারি-হাওয়ার্ড আইসোমর্ফিিজম, যাচাইকরণ)

  • অ্যাক্সেস নিয়ন্ত্রণ (অ-শাস্ত্রীয় লজিকস, প্রুফ তত্ত্ব)

  • স্ট্যাক পরিদর্শন (প্রোগ্রামিং ভাষার শব্দার্থবিদ্যা, প্রাসঙ্গিক সমতুল্যতা, বিসিমুলেশন)

স্বাভাবিকভাবেই, কোর্সের একাধিক লক্ষ্য রয়েছে, যেখানে তাদের মধ্যে একটি সম্ভাব্য স্নাতক শিক্ষার্থীদের আকর্ষণ করছে।

আগামী বছরগুলিতে কোর্সটি একটি নিয়মিত কোর্সে প্রসারিত হতে পারে, যার জন্য আরও সামগ্রীর প্রয়োজন হবে। এখানকার লোকের পটভূমি আমার থেকে একেবারে আলাদা, এই ধরণের কোর্সে আপনি কোন বিষয়বস্তু অন্তর্ভুক্ত করবেন তা আমি জানতে চাই।

উত্তর:


15

আমি নিম্নলিখিত যুক্তি দিয়ে শিক্ষার্থীদের পরিচিত করার পরামর্শ দিচ্ছি:

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

আমার এক বন্ধু মুর্তজা আমিনী সম্প্রতি তাঁর পিএইচডি করেছেন। যুক্তি সহ মডেলিং অ্যাক্সেস নিয়ন্ত্রণে। তিনি নামে একটি নতুন যুক্তি তৈরি করেছিলেন , যার অর্থ "মাল্টি-অথরিটি ডিওটিক লজিক এবং ডেসক্রিপশন লজিক।" নামটি যেমন বোঝায়, এটি দুটি অ-শাস্ত্রীয় লজিক (ডিওটিক লজিক + বিবরণ যুক্তি) একত্রিত করে কোনও সত্তার কোনও বস্তুর অ্যাক্সেস রয়েছে কিনা তা সিদ্ধান্ত নিতে। আপনি যদি চান তবে আমি তাকে আরও তথ্য সরবরাহ করতে উত্সাহিত করতে পারি।MA(DL)2


ধন্যবাদ সাদেক। আগের বছরগুলিতে আমি এডিসটেমিক লজিককে কোর্সের জন্য মডেল লজিকের সাথে পরিচয় করিয়ে দিয়েছিলাম, তবে আমি এ বছর এটিকে বাদ দিয়েছি। শিক্ষার্থীরা প্রায়শই প্রবন্ধের বিষয়ের জন্য নিষিদ্ধ যুক্তি বাছাই করে। অন্যান্য পরামর্শগুলি খুব কার্যকর, বিশেষত সরঞ্জামগুলি, যা সর্বদা সম্ভাব্য ছাত্র কার্যভারের পরামর্শ দেয়।
ডেভ ক্লার্ক

@ ডেভ: শুনে ভাল লাগল! আমি একবার ডাঃ রামাজনিয়ানের "এপিসটেমিক লজিক ফর সিকিউরিটি প্রোটোকল" শীর্ষক একটি দুর্দান্ত ক্রাশ কোর্সে (h 3 ঘন্টা) অংশ নিয়েছি। উপস্থাপনাটি এখানে পাওয়া যাবে: ifile.it/xljn9s8/EpistemicLogic.rar । বিষয়টিকে পুরোপুরি বাদ দেওয়ার আগে আমি এটি একবার দেখে নেওয়ার পরামর্শ দিই।
এমএস দৌস্তি

লিঙ্কের জন্য ধন্যবাদ। এপিসটেমিক লজিক পুরোপুরি বাদ যায়নি; এটি ঠিক এই বছর ফিট ছিল না।
ডেভ ক্লার্ক

12

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

অনুপম দত্তের কোর্সের সুরক্ষা ও গোপনীয়তার পাঠ্যক্রমটিও প্রাসঙ্গিক।


ধন্যবাদ রব প্রকৃতপক্ষে আমি এই দুটি পৃষ্ঠা ব্যবহার করেছি যখন আমি মূল কোর্সের সামগ্রীটি ডিজাইন করেছি।
ডেভ ক্লার্ক

Aah। ঠিক আছে তবে আমি অনুমান করি এর অতিরিক্ত ইউটিলিটি আপনার কাছে সীমিত! আশা করি অন্যরাও এটি দরকারী হিসাবে পাবেন :)
রব সিমন্স

10

রবের জবাব আমাকে অনুরূপ কর্নেল রিডিং গ্রুপের কথা মনে করিয়ে দিয়েছে যা মাইকেল ক্লার্কসন কয়েক বছর ধরে সংগঠিত করেছিল: কর্নেল সুরক্ষা আলোচনা গ্রুপ । কিছু কাগজপত্র জন্য সেখানে স্কিমিং মূল্য হতে পারে।


6

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


মজাদার. আপনি কি PRISM বা এই লজিকগুলির কোনও সুরক্ষা অ্যাপ্লিকেশন সম্পর্কে জানেন?
ডেভ ক্লার্ক

কেস স্টাডিজ ( prismmodelchecker.org/casestudies/index.php ) এ, সুরক্ষা সম্পর্কিত কিছু উদাহরণ রয়েছে are তাদের বেশিরভাগ এমডিপি তবে এটি বাস্তবায়নের সুরক্ষার চেয়ে প্রোটোকলগুলির সুরক্ষা সম্পর্কে বেশি।
সিলভাইন পিয়েরনেট

3

আপনি প্যারিসে সুরক্ষা প্রোটোকলগুলি সম্পর্কে নিম্নলিখিত স্নাতক কোর্সটি একবার দেখে নিতে পারেন (পাঠ্যটি বেশিরভাগ ক্ষেত্রে ফরাসি ভাষায় রয়েছে):

http://mpri.master.univ-paris7.fr/C-2-30.html


ফরাসী কথা বলতে ...
ডেভ ক্লার্ক

এই লিঙ্কটি একটি ইংলিশ সংস্করণে নিয়ে যায়: mpri.master.univ-paris7.fr/C-2-30en.html
সিলভাইন

1

প্রব্লেড সিকিউরিটি সম্পর্কিত একটি বক্তৃতা আকর্ষণীয় হতে পারে, বিশেষত গেম থিওরি ব্যবহার করে। আমি মনে করি যে অ্যালগোরিদমিক গেম থিওরির উপর নিসান এট বইয়ের অধ্যায় 8 এবং 25 এর ভাল ভিত্তি সরবরাহ করতে পারে।

আমি বিদ্যমান সুরক্ষা / সুরক্ষা মান যেমন আইটিএসইসি / টিসিএসইসি এবং সাধারণ মানদণ্ডের একটি সংক্ষিপ্ত বিবরণও অন্তর্ভুক্ত করব। এটি সর্বদা উল্লেখ করা ভাল যে সাধারণ মানদণ্ডের সর্বোচ্চ স্তর অর্জনের জন্য, কোনও সিস্টেমকে আনুষ্ঠানিকভাবে যাচাই করা, নকশা করা এবং পরীক্ষা করা প্রয়োজন।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.