تحلیل صوری ویژگی وارسی پذیری میکس نت با استفاده از حساب پی کاربردی
- سال انتشار: 1390
- محل انتشار: هشتمین کنفرانس انجمن رمز ایران
- کد COI اختصاصی: ISCC08_022
- زبان مقاله: فارسی
- تعداد مشاهده: 1281
نویسندگان
مرکز امنیت داده و شبکه دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
چکیده
از آنجا که عملکرد میکس نت و چگونگی تعامل آن با شرکت کنندگان یک پروتکل در براورده رکدن ویژگیهایی نظیر محرمانگی یا وارسی پذیری تاثیر گذار است تحلیل دقیق آن امری ضروری است و براین اساس استفاده از روش های تحلیل صوری پیشنهاد می شود دراین مقاله ابتدا فرایند مخلوط سازی مبتنی بر میکس نت های متوالی رمزگذار با استفاده از زبان جبری پی کاربردی بصورت صوری توصیف شده و سپس بیان صوری ویژگی وارسی پذیری آن ها ارائه می شود ویژگی وارسی پذیری در قالب یک آزمون منطقی توصیف می شود که بایستی در شرایط ویژه ای صدق نماید در ادامه برای نشان دادن کاربرد تعاریف ارائه شده میکس نت میلی میکس با استفاده از حساب پی کاربردی بصورت صوری توصیف شده و اثبات ویژگی وارسی پذیری آن ارائه می گردد.کلیدواژه ها
میکس نت، وارسی پذیری، روشهای صوری، حسابهای پی کاربردی، میلی میکسمقالات مرتبط جدید
- اولویت بندی عوامل موثر بر انتخاب شرکاء در نوآوری باز با استفاده از روش بولزآی در شرکت های کوچک و متوسط
- مروری بر استفاده از روشهای یادگیری ماشین به منظور پیشبینی بیماریهای قلبی
- شناسایی و اولویت بندی عوامل موثر بر طراحی و پیاده سازی دفتر مدیریت پروژه((PMO و تاثیر آن بر موفقیت پروژه های صنعت ساخت
- بررسی اهمیت انتخاب پارامترها در الگوریتمهای بهینه سازیفراابتکاری مبتنی بر هوش ازدحام با استفاده از منطق فازی
- روش خوشه بندی - میانگین با بکارگیری روش بهینه سازی غزال کوهستان
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.