تحلیل صوری ویژگی وارسی پذیری میکس نت با استفاده از حساب پی کاربردی
محل انتشار: هشتمین کنفرانس انجمن رمز ایران
سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,277
فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCC08_022
تاریخ نمایه سازی: 11 مهر 1390
چکیده مقاله:
از آنجا که عملکرد میکس نت و چگونگی تعامل آن با شرکت کنندگان یک پروتکل در براورده رکدن ویژگیهایی نظیر محرمانگی یا وارسی پذیری تاثیر گذار است تحلیل دقیق آن امری ضروری است و براین اساس استفاده از روش های تحلیل صوری پیشنهاد می شود دراین مقاله ابتدا فرایند مخلوط سازی مبتنی بر میکس نت های متوالی رمزگذار با استفاده از زبان جبری پی کاربردی بصورت صوری توصیف شده و سپس بیان صوری ویژگی وارسی پذیری آن ها ارائه می شود ویژگی وارسی پذیری در قالب یک آزمون منطقی توصیف می شود که بایستی در شرایط ویژه ای صدق نماید در ادامه برای نشان دادن کاربرد تعاریف ارائه شده میکس نت میلی میکس با استفاده از حساب پی کاربردی بصورت صوری توصیف شده و اثبات ویژگی وارسی پذیری آن ارائه می گردد.
کلیدواژه ها:
نویسندگان
بنیامین تختایی
مرکز امنیت داده و شبکه دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :