سال انتشار: ۱۳۹۴
کد COI مقاله: TAES01_022
زبان مقاله: فارسی
حجم فایل: ۳۰۳.۳۳ کیلوبایت (فایل این مقاله در ۸ صفحه با فرمت PDF قابل دریافت می باشد)
اگر در مجموعه سیویلیکا عضو نیستید، به راحتی می توانید از طریق فرم روبرو اصل این مقاله را خریداری نمایید.
با عضویت در سیویلیکا می توانید اصل مقالات را با حداقل ۳۳ درصد تخفیف (دو سوم قیمت خرید تک مقاله) دریافت نمایید. برای عضویت در سیویلیکا به صفحه ثبت نام مراجعه نمایید. در صورتی که دارای نام کاربری در مجموعه سیویلیکا هستید، ابتدا از قسمت بالای صفحه با نام کاربری خود وارد شده و سپس به این صفحه مراجعه نمایید.
لطفا قبل از اقدام به خرید اینترنتی این مقاله، ابتدا تعداد صفحات مقاله را در بالای این صفحه کنترل نمایید.
برای راهنمایی کاملتر راهنمای سایت را مطالعه کنید.
با عضویت در سیویلیکا می توانید اصل مقالات را با حداقل ۳۳ درصد تخفیف (دو سوم قیمت خرید تک مقاله) دریافت نمایید. برای عضویت در سیویلیکا به صفحه ثبت نام مراجعه نمایید. در صورتی که دارای نام کاربری در مجموعه سیویلیکا هستید، ابتدا از قسمت بالای صفحه با نام کاربری خود وارد شده و سپس به این صفحه مراجعه نمایید.
لطفا قبل از اقدام به خرید اینترنتی این مقاله، ابتدا تعداد صفحات مقاله را در بالای این صفحه کنترل نمایید.
برای راهنمایی کاملتر راهنمای سایت را مطالعه کنید.
با استفاده از پرداخت اینترنتی بسیار سریع و ساده می توانید اصل این مقاله را که دارای ۸ صفحه است در اختیار داشته باشید.
قیمت این مقاله : ۳,۰۰۰ تومان
آدرس ایمیل خود را در کادر زیر وارد نمایید:مشخصات نویسندگان مقاله مدل سازی و اعتبارسنجی پروتکل تصدیق هویت دانایی صفر گوئیلو کوئیس کواتر
حمیدرضا خیرمند - دانشجوی کارشناسی ارشد، دانشگاه پیام نورمهدی جوانمرد - استادیار، دانشگاه پیام نور
چکیده مقاله:
وارسی مدل روشی خودکار برای بررسی سیستم های همزمان و سیستم هایی با حالات متناهی می باشد. امروزه وارسی مدل به شکل گسترده ای در آنالیز و ارزیابی صحت سخت افزار، سیستم های نرم افزاری و به خصوص پروتکل های امنیتی مورد استفاده قرار می گیرد. پروتکل گوئیلو- کوئیس کواتر که یک پروتکل مبتنی بر دانایی صفر است، برای اهداف تصدیق هویت کاربرد دارد. در این مقاله ما مدلی از این پروتکل در قالب ماشین حالت متناهی ارائه، ویژگی هایی را به صورت CTL بیان، و پس از پیاده سازی توسط ابزار وارسی مدل نمادین NuSMV اقدام به وارسی و ارزیابی این پروتکل کردیم. با توجه به نتایج حاصل شده، این پروتکل در تمام حالات به درستی عملیات اعتبارسنجی را انجام نمی دهد.کلیدواژه‌ها:
وارسی مدل، پروتکل تصدیق هویت دانایی صفر، پروتکل گوئیلو کوئیس کواتر، NuSMV, CTLکد مقاله/لینک ثابت به این مقاله
برای لینک دهی به این مقاله، می توانید از لینک زیر استفاده نمایید. این لینک همیشه ثابت است و به عنوان سند ثبت مقاله در مرجع سیویلیکا مورد استفاده قرار میگیرد:https://www.civilica.com/Paper-TAES01-TAES01_022.html
کد COI مقاله: TAES01_022
نحوه استناد به مقاله:
در صورتی که می خواهید در اثر پژوهشی خود به این مقاله ارجاع دهید، به سادگی می توانید از عبارت زیر در بخش منابع و مراجع استفاده نمایید:خیرمند, حمیدرضا و مهدی جوانمرد، ۱۳۹۴، مدل سازی و اعتبارسنجی پروتکل تصدیق هویت دانایی صفر گوئیلو کوئیس کواتر، کنفرانس ملی چشم انداز 1404 و پیشرفتهای تکنولوژیک علوم مهندسی، شیراز، مرکز توسعه آموزشهای نوین ایران (متانا)، https://www.civilica.com/Paper-TAES01-TAES01_022.html
در داخل متن نیز هر جا که به عبارت و یا دستاوردی از این مقاله اشاره شود پس از ذکر مطلب، در داخل پارانتز، مشخصات زیر نوشته می شود.
برای بار اول: (خیرمند, حمیدرضا و مهدی جوانمرد، ۱۳۹۴)
برای بار دوم به بعد: (خیرمند و جوانمرد، ۱۳۹۴)
برای آشنایی کامل با نحوه مرجع نویسی لطفا بخش راهنمای سیویلیکا (مرجع دهی) را ملاحظه نمایید.
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :علم سنجی و رتبه بندی مقاله
مشخصات مرکز تولید کننده این مقاله به صورت زیر است:
در بخش
علم سنجی پایگاه سیویلیکا
می توانید رتبه بندی علمی مراکز دانشگاهی و پژوهشی کشور را
بر اساس آمار مقالات نمایه شده مشاهده نمایید.
مدیریت اطلاعات پژوهشی
اطلاعات استنادی این مقاله را به نرم افزارهای مدیریت اطلاعات علمی و استنادی ارسال نمایید و در تحقیقات خود از آن استفاده نمایید.
مقالات پیشنهادی مرتبط
- مروری جامع بر روش های کیفیت سرویس در مسیریابی داده های چندرسانه ای شبکه های حسگر بیسیم
- نگاهی اجمالی بر وضعیت HSE در شهرداری تهران
- استراتژی کنترل پیشگو در یک مبدل ماتریسی مستقیم به منظور کنترل جریان بار
- راه اندازی نرم موتور القایی با استفاده از روش کنترل گشتاور جهت بهبود عملکرد موتور القای سه فاز
- تکنیک های تست در راستای تضمین کیفیت نرم افزار
مقالات فوق بر اساس داده کاوی مقالات مطالعه شده توسط پژوهشگران محاسبه شده است.
مقالات مرتبط جدید
- طبقه بندی مناطق خطر و راه های شناسایی آن
- طرح و بررسی عملکرد انتقال حرارت یک سویه به روش عددی
- تاثیر پدیده گلخانه ای بر جریان جوششی
- بررسی و تحلیل جریان پایدار در یک لوله نو
- طراحی سیستم پیش گیری از برخورد وسایل نقلیه با استفاده از سیستم استنتاج عصبی - فازی تطبیقی
مقالات فوق اخیرا در حوزه مرتبط با این مقاله به سیویلیکا افزوده شده اند.
شبکه تبلیغات علمی کشور
به اشتراک گذاری این صفحه
اطلاعات بیشتر درباره COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.