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

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

کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
74092 2016 14 صفحه PDF سفارش دهید 8560 کلمه
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
Formal verification of secure information flow in cloud computing
منبع

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 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.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.