رویکردی مبتنی بر شبکههای پتری برای توصیف و طراحی پایشگر سیاستهای امنیتی

  • سال انتشار: 1386
  • محل انتشار: سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران
  • کد COI اختصاصی: ACCSI13_059
  • زبان مقاله: فارسی
  • تعداد مشاهده: 1470
دانلود فایل این مقاله

نویسندگان

سیدمرتضی بابامیر

استادیار گروه مهندسی کامپیوتر دانشگاه کاشان

سعید جلیلی

استادیار گروه مهندسی کامپیوتردانشگاه تربیت مدرس

چکیده

خطا در توصیف، طراحی و پیادهسازی برنامههای حساس به امنیت، میتواند موجب نقض سیاستهای امنیتی مورد نظر شود. یک رویکرد برای اطمینان از درستی این برنامهها این است که رفتار حین اجرای آنها را در برابر نقض سیاستهای امنیتی پایش کنیم. به این منظور، ما در این مقاله رویکردی را برای توصیف و طراحی پایشگر حین اجرای رفتار برنامه در برابر سیاستهای امنیتی ارائه میدهیم. سیاست- های امنیتی که هسته پایشگر را تشکیل میدهند با استفاده از روش رسمی شبکههای پتری توصیف و طراحی آنها را با استفاده از روش جدولیSCR انجام میدهیم. برای نشاندادن عملیبودن این رویکرد، آن را برای توصیف و طراحی پایشگر رفتار سرویسگر در شبکه متقاضی سرویسگر به کار میبریم

کلیدواژه ها

پایشگر، سیاست امنیتی، شبکه پتری، روش SCR

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.