دانلود ترجمه مقاله ابزاری برای ایجاد زیرساخت های سرویس های مجوز دهی برای اینترنت اشیا

1. مقدمه 2. انگیزش 3. مروری بر روش پیشنهادی 4. طراحی و پیاده سازی 5. آنالیز امنیت 6. آنالیز مقیاس پذیری 7. آزمایشات و نتایج 8. پژوهش های مرتبط 9. نتیجه گیری

چکیده – چالش های پیش روی اینترنت اشیا (IoT) معیارهای امنیتی در برابر شبکه ها و دستگاه های نوظهور را تحت تأثیر قرار می دهد. این چالش ها عبارتند از عدم تجانس، عملیات در محیط های باز، و مقیاس پذیری. در این مقاله ما SST (ابزار ازدحام امنیت)، یک ابزار منبع باز برای ساخت و به کار گیری زیرساخت سرویس مجوز دهی برای IoT را ارائه داده ایم. این زیرساخت ها از نهاد های مجوز دهی محلی پراکنده استفاده می کنند که سرویس های مجوز دهی را ارائه داده و می توانند ملزومات امنیتی ناهمگن و محدودیت های منابع در IoT را مورد خطاب قرار دهند. سرویس های مجوز دهی می توانند به واسطه نهادهای شبکه و از طریق رابط های نرم افزاری ارائه شده توسط SST با عنوان دسترسی دهندگان قابل دسترسی باشد. دسترسی دهندگان امکان ادغام سریع دستگاه ها با سرویس های مجوزدهی بدون نیاز به مدیریت عملیات و کلیدهای رمزنگاری را در اختیار توسعه دهندگان IoT قرار می دهند. این موضوع دقیقاً نشان می دهد که SST تضمین های امنیتی لازم را ارائه داده و ما طبق آن یک آنالیز امنیتی رسمی با استفاده از یک ابزار تأیید خودکار انجام می دهیم. علاوه بر این، ما مقیاس پذیری روش مان را با یک آنالیز ریاضیاتی و نیز یک سری آزمایشات برای ارزیابی بالاسری های امنیتی نهادهای شبکه تحت مشخصه های امنیتی مختلف پشتیبانی شده توسط SST نشان داده ایم.

The challenges posed by the Internet of Things (IoT) render existing security measures ineffective against emerging networks and devices. These challenges include heterogeneity, operation in open environments, and scalability. In this paper, we propose SST (Secure Swarm Toolkit), an open-source toolkit for construction and deployment of an authorization service infrastructure for the IoT. The infrastructure uses distributed local authorization entities, which provide authorization services that can address heterogeneous security requirements and resource constraints in the IoT. The authorization services can be accessed by network entities through software interfaces provided by SST, called accessors. The accessors enable IoT developers to readily integrate their devices with authorization services without needing to manage cryptographic keys and operations. To rigorously show that SST provides necessary security guarantees, we have performed a formal security analysis using an automated verification tool. In addition, we demonstrate the scalability of our approach with a mathematical analysis, as well as experiments to evaluate security overhead of network entities under different security profiles supported by SST.