دانلود مقاله انگلیسی رایگان:یک روش برای تصمیم گیری همسان سازی نمادین بین مجموعه ای از سیستم های محدودیت - 2017

دانلود بهترین مقالات isi همراه با ترجمه فارسی

کارابرن عزیز، مقالات isi بالاترین کیفیت ترجمه را دارند، ترجمه آنها کامل و دقیق می باشد (محتوای جداول و شکل های نیز ترجمه شده اند) و از بهترین مجلات isi انتخاب گردیده اند. همچنین تمامی ترجمه ها دارای ضمانت کیفیت بوده و در صورت عدم رضایت کاربر مبلغ عینا عودت داده خواهد شد.

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

از نرم افزار winrar برای باز کردن فایل های فشرده استفاده می شود. برای دانلود آن بر روی لینک زیر کلیک کنید
دانلود

پیوندهای کاربردی
پیوندهای مرتبط
دانلود مقاله انگلیسی امنیت رایگان
  • A procedure for deciding symbolic equivalence between sets of constraint systems A procedure for deciding symbolic equivalence between sets of constraint systems
    A procedure for deciding symbolic equivalence between sets of constraint systems

    سال انتشار:

    2017


    عنوان انگلیسی مقاله:

    A procedure for deciding symbolic equivalence between sets of constraint systems


    ترجمه فارسی عنوان مقاله:

    یک روش برای تصمیم گیری همسان سازی نمادین بین مجموعه ای از سیستم های محدودیت


    منبع:

    Sciencedirect - Elsevier - Information and Computation, 255 (2017) 94–125. 10.1016/j.ic.2017.05.004


    نویسنده:

    VincentCheval, HubertComon-Lundh, StéphanieDelaune


    چکیده انگلیسی:

    Article history:Received 11 November 2014Received in revised form 15 September 2016Available online 31 May 2017Keywords: Formal methods VerificationSecurity protocols Privacy-type properties Symbolic modelWe consider security properties of cryptographic protocols that can be modelled using trace equivalence, a crucial notion when specifying privacy-type properties, like anonymity, vote-privacy, and unlinkability. Infinite sets of possible traces are symbolically represented using deducibility constraints. We describe an algorithm that decides trace equivalence for protocols that use standard primitives and that can be represented using such constraints. More precisely, we consider symbolic equivalence between sets of constraint systems, and we also consider disequations. Considering sets and disequations is actually crucial to decide trace equivalence for processes that may involve else branches and/or private channels (for a bounded number of sessions). Our algorithm for deciding symbolic equivalence between sets of constraint systems is implemented and performs well in practice. Unfortunately, it does not scale up well for deciding trace equivalence between processes. This is however the first implemented algorithm deciding trace equivalence on such a large class of processes. 2017 Elsevier Inc. All rights reserved.
    Keywords:Formal methods | Verification | Security protocols | Privacy-type properties | Symbolic model


    سطح: متوسط
    تعداد صفحات فایل pdf انگلیسی: 32
    حجم فایل: 708 کیلوبایت

    قیمت: رایگان


    توضیحات اضافی:




آرشیو کامل مقالات

اگر این مقاله را پسندیدید آن را در شبکه های اجتماعی به اشتراک بگذارید (برای به اشتراک گذاری بر روی ایکن های زیر کلیک کنید)

این مقاله را در فیس بوک به اشتراک بگذارید این مقاله را در توییتر به اشتراک بگذارید این مقاله را در لینکداین به اشتراک بگذارید این مقاله را در گوگل پلاس به اشتراک بگذارید این مقاله را در زینگ به اشتراک بگذارید این مقاله را در تلگرام به اشتراک بگذارید

تعداد نظرات : 0

الزامی
الزامی
الزامی
امنیت
موضوعات
footer