دانلود مقاله انگلیسی رایگان:مشخصات رسمی و یکپارچه سازی سیاست های امنیتی توزیع شده - 2017

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

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

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

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

پیوندهای کاربردی
پیوندهای مرتبط
دانلود مقاله انگلیسی امنیت رایگان
  • Formal specification and integration of distributed security policies Formal specification and integration of distributed security policies
    Formal specification and integration of distributed security policies

    سال انتشار:

    2017


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

    Formal specification and integration of distributed security policies


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

    مشخصات رسمی و یکپارچه سازی سیاست های امنیتی توزیع شده


    منبع:

    Sciencedirect - Elsevier - Computer Language, 49 (2017) 1-35. doi:10.1016/j.cl.2016.12.004


    نویسنده:

    Mohamed Mejri , HamdiYahyaoui


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

    We propose in this paper the Security Policy Language (SePL), which is a formal language for capturing and integrating distributed security policies. The syntax of SePL includes several operators for the integration of policies and it is endowed with a denotational semantics that is a generic semantics, i.e., which is independent of any evaluation environment. We prove the completeness of SePL with respect to set theory. Furthermore, we provide a formalization of a large subset of the eXtensible Access Control Markup Language (XACML), which is the well- known standard informal specification language of Web security policies. We also provide a semantics for XACML policy combining algorithms.& 2016 Elsevier Ltd. All rights reserved.
    Keywords:Security policies | Formal languages | Semantics | Integration | XACML


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

    قیمت: رایگان


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




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

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

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

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

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