کارابرن عزیز، مقالات isi بالاترین کیفیت ترجمه را دارند، ترجمه آنها کامل و دقیق می باشد (محتوای جداول و شکل های نیز ترجمه شده اند) و از بهترین مجلات isi انتخاب گردیده اند. همچنین تمامی ترجمه ها دارای ضمانت کیفیت بوده و در صورت عدم رضایت کاربر مبلغ عینا عودت داده خواهد شد.
از نرم افزار winrar برای باز کردن فایل های فشرده استفاده می شود. برای دانلود آن بر روی لینک زیر کلیک کنید
دانلود
سال انتشار:
2017
عنوان انگلیسی مقاله:
Satisfiability of general intruder constraints with and without a set constructor
ترجمه فارسی عنوان مقاله:
رضایت از محدودیت های مزاحم عمومی با و بدون سازنده مجموعه ای
منبع:
Sciencedirect - Elsevier - Journal of Symbolic Computation, 80 (2017) 27–61. 10.1016/j.jsc.2016.07.009
نویسنده:
TigranAvanesov, YannickChevalier, MichaelRusinowitch, MathieuTuruani
چکیده انگلیسی:
Article history:Received 31 March 2014Accepted 15 April 2015Available online 18 July 2016Keywords:ACIDeducibility constraints Dolev–Yao deduction system Multiple intrudersSecurityMany decision problems on security protocols can be reduced to solving deduction constraints expressing whether an instance of a given message pattern can be constructed by the intruder. Most constraint solving procedures for protocol security rely on two properties of constraint systems called monotonicity and variable- origination. In this work we relax these restrictions by giving a decision procedure for solving general intruder constraints (that do not have these properties) that stays in NP. The result is also valid modulo an associative, commutative and idempotent theory. The procedure can be applied to verify security protocols in presence of multiple intruders. 2016 Elsevier Ltd. All rights reserved.
Keywords:ACI | Deducibility constraints | Dolev–Yao deduction system | Multiple intruders | Security
قیمت: رایگان
توضیحات اضافی:
تعداد نظرات : 0