دانلود مقاله ISI انگلیسی شماره 74092
ترجمه فارسی عنوان مقاله

تأیید رسمی از جریان اطلاعات امن در رایانش ابری

عنوان انگلیسی
Formal verification of secure information flow in cloud computing
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
74092 2016 14 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

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

این مقاله تقریباً شامل 8560 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 12 روز بعد از پرداخت 470,800 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 6 روز بعد از پرداخت 941,600 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

پیشنهاد می کنیم کیفیت محتوای سایت خود را با استفاده از منابع علمی، افزایش دهید.

سفارش تولید محتوا کد تخفیف 10 درصدی: isiArticles
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Journal of Information Security and Applications, Volumes 27–28, April–May 2016, Pages 103–116

ترجمه کلمات کلیدی
سیستم ابر فدرال؛ جریان اطلاعات امنیتی؛ قوانین Bell–LaPadula؛ شبکه پتری؛ Diagnosability؛ چک کردن مدل
کلمات کلیدی انگلیسی
Federated cloud system; Information flow security; Bell–LaPadula rules; Petri net; Diagnosability; Model checking
پیش نمایش مقاله
پیش نمایش مقاله تأیید رسمی از جریان اطلاعات امن در رایانش ابری

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

Federated cloud systems increase the reliability and reduce the cost of computational support to an organisation. However, the resulting combination of secure private clouds and less secure public clouds impacts on the overall security of the system as applications need to be located within different clouds. In this paper, the entities of a federated cloud system as well as the clouds are assigned security levels of a given security lattice. Then a dynamic flow sensitive security model for a federated cloud system is introduced within which the Bell–LaPadula rules and cloud security rule can be captured. The rest of the paper demonstrates how Petri nets and the associated verification techniques could be used to analyse the security of information flow in federated cloud systems.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

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

این مقاله شامل 8560 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 12 روز بعد از پرداخت 470,800 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 6 روز بعد از پرداخت 941,600 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.