کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6884823 1444354 2018 39 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Model driven design and evaluation of security level in orchestrated cloud services
ترجمه فارسی عنوان
طراحی مدل و ارزیابی سطح امنیتی در خدمات ابررسانهای مدل
کلمات کلیدی
پردازش ابری، الگوهای امنیتی، ترکیب بندی، مدل رانده مهندسی،
ترجمه چکیده
معماریها، خدمات و منابع مبتنی بر ابر روز به روز روز به روز پیچیده تر می شوند. ترکیب و ارکستراسیون با مشکل ایجاد خدمات پیچیده ترویج استفاده مجدد و تخصیص بهینه منابع مقابله می کند، اما بسیاری از مسائل امنیتی سبب پیچیدگی کار طراحان می شود. حتی اگر عناصر کامپوزیت در یک ترکیب مطابق با الزامات امنیتی باشند، سرویس کامپوزیت ممکن نیست. به منظور کاهش طراحی و توسعه پیچیدگی، تولید کنندگان بزرگ و متون علمی ترویج ترکیب با الگوهای. در این مقاله، ما یک روش مهندسی مدل رانده شده ارائه می دهیم که در آن اعتبارسنجی و تایید نیازهای امنیتی را با استفاده از روش های رسمی و الگوریتم های تبدیل مدل مورد توجه قرار می دهد. ما نشان می دهیم که چگونه رویکرد ماژول مدل، مشخصات مورد نیاز در مرحله طراحی و چگونگی آن را برای تایید نیازهای امنیتی را قادر می سازد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
پیش نمایش مقاله
طراحی مدل و ارزیابی سطح امنیتی در خدمات ابررسانهای مدل
چکیده انگلیسی
Cloud-based architectures, services and resources are growing up in complexity day by day. Composition and Orchestration deal with the problem of creating complex services promoting reuse and optimal allocation of resources but many security issues arise complicating the work of designers. Even if any composing elements in a composition meets security requirements, the composite service may not. In order to reduce design and developing complexity, Big Vendors and scientific literature promote Composition by Patterns. In this work we present a Model Driven Engineering methodology that addresses validation and verification of security requirements by using formal methods and model transformation algorithms. We show how our model driven approach enables the specification of requirements at design phase and how it allows for verification of security requirements.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Network and Computer Applications - Volume 106, 15 March 2018, Pages 78-89
نویسندگان
, , ,