مدل و تحلیل مبتنی بر نظریه بازی در مورد پروتکل های تبادل داده در اینترنت اشی
چکیده
کلان داده ها، اینترنت اشیاء، و رایانش ابری به عنوان خانواده ای از فناوری ها برای جهان مرتبط شناخته می شوند. علی رغم نوید بخش بودن برای آینده، چالش هایی هم برای امنیت وجود دارد که دلیل آن پیچیدگی و غیرقابل پیش بینی بودن اینترنت، ابرها و داده هاست. یکی از چالش ها، تبادل داده ها و اطلاعات است، به عنوان مثال، بررسی عدم اطمینان به کاربران ابر و تحلیل رفتار نا بهنجار کاربر در حین تبادل اطلاعات را می توان برشمرد. این مقاله به مکانیزم تبادل می پردازد که یک پایه نظری مناسب برای ممکن ساختن یک تجارت الکترونیک و تراکنش های الکترونیکی در کسب و کار امن است. برای اطمینان و تأیید ویژگی عدالت، به عنوان یک ویژگی مهم در مکانیزم تبادل، این مقاله یک مدل ویژه برای تحلیل رفتار بر مبنای بازی گسترده با اطلاعات ناکامل پیشنهاد می دهد. ویژگی های منطقی بودن و عدالت در بازی و درخت بازی متناظر ایجاد می شوند. برای بررسی ویژگی ها، یک روش تحلیل درختی و یک الگوریتم زمانی خطی داده شده است. به عنوان مورد مطالعاتی، برخی نواقص پروتکل ASW شناسایی می شوند.
1- مقدمه
تعداد اشیاء فیزیکی که به اینترنت متصل می شوند با آهنگ سریعی در حال افزایش است. اینترنت اشیاء (IoT) یک پارادیام جدید است که اشیاء متنوعی قادر به تعامل با یکدیگر و مشارکت با همسایگان خود برای رسیدن به اهداف مشترک هستند. حوزه ها و محیط های بسیاری هستند که در آن اینترنت اشیا (IoT) یک نقش قابل توجه ایفا خواهد کرد و کیفیت زندگی ما را در آینده نزدیک که شامل خانه های هوشمند، حمل و نقل، سلامت و اتوماسیون صنعتی هستند، بهبود خواهد بخشید [1]. در اینترنت اشیا (IoT)، پروتکل های اینترنتی در تبادل پیامهای مخابراتی نقش حیاتی دارند. برای پروتکل های IoT، امنیت و محرمانگی به دلیل حساسیت محرمانگی مشتریان یک نقش قابل توجه در همه بازارها به صورت سراسری ایفا می کنند [2]. با افزایش حجم داده ها و اطلاعات، تحلیل داده ها و کلان داده ها، تصمیم گیری به طور فزاینده ای اهمیت پیدا می کند. تحلیل های داده-بزرگ یکی از فناوری های اصلی است که در تجارت امروزه در زمینه تصمیم سازی و علم داده در نظریه بازی برای تصمیم گیری استراتژیک استفاده می شود و مؤکدا یک حرکت هوشمند است که به شرکت ها جهت پیش بینی نتایج خروجی تجارت ها، افراد و مجامع کمک می کند. نظریه بازی ها مطالعه تصمیم گیری استراتژیک است و بازی ها ابزار جایگزینی برای اشتراک اطلاعات و دانش و مشارکت در تصمیم سازی هستند. در [3]، نظریه بازی برای مدل سازی مکانیزم تحلیل کلان داده ها و تصمیم گیری در حوزه علوم زمین و سنجش از راه دور به کار می رود.
abstract
Big data, Internet of things (IoT), and cloud computing have been recognized a family of technologies for a connected world. Besides hailed hope for the future, there are also challenges to security due to complexity and unpredictability of the Internet, clouds, and data. One of the challenges is information and data exchange, for example, identifying untrustworthy cloud users and analyzing abnormal user behavior during information exchange. This paper addresses exchange mechanism, which is a useful theoretic basis to make secure electronic commerce and electronic business transactions possible. To ensure and verify the property of fairness, a crucial property of exchange mechanism, this paper proposes a specific model for behavior analysis based on the extensive game with imperfect information. Rationality and fairness properties are built in the corresponding game and the game tree. To verify the properties, a tree analysis method is proposed, and a linear time algorithm is given. As a case study, some flaws of the ASW protocol are found.
1. Introduction
The number of physical objects connected to the Internet is growing at an amazing rate. The Internet of Things (IoT) is a novel paradigm that a variety of things or objects are able to interact with each other and cooperate with their neighbors to reach common goals. There are a lot of domains and environments in which the IoT will play a remarkable role and improve the quality of our lives in the near future, including domotics, transportation, healthcare, and industrial automation [1]. In the IoT, Internet protocols are crucial in the communication of exchange message. For the IoT protocols, security and privacy play a significant role in all markets globally due to the sensitivity of consumers privacy [2]. As the amount of data and information increases, the big data analyzing and informs and supports decision making becomes increasingly important. Big Data analytics is one of the core technologies used by businesses today for decision making and applying game theory data science for strategic decision making, is definitely an intelligent move that will help enterprises predict likely outcomes for businesses, individuals and societies. Games theory is the study of strategic decision making, and games provide alternative means of sharing information and knowledge and participating in decision making. In [3], game theory is applied to model the mechanisms for big data analytics and decision making in the field of geosciences and remote sensing.
چکیده
1 مقدمه
2 بازی گسترده
3 بازی پروتکل تبادل
3-1 بازیکنان
3-2 اعمال
3-3 توابع بازیکن
3-4 مجموعه اطلاعات
3-5 بازده ها
3-6 زیربازی پروتکل
3-7 یک مثال: پروتکل تبادل Syverson
4 مدل رسمی در تبادل منطقی
5 درخت بازی و تحلیل پروتکل Syverson
5-1 درخت بازی
5-2 اوزان
5-3 یک الگوریتم خطی
5-4 پروتکل Syverson
6 رابطه با مدل Buttyán
6-1 یک مثال
7 تبادل عادلانه
8 تحلیل پروتکل تبادل عادلانه
8-1 پروتکل ASW
8-2 روش تحلیل درختی
9 نتیجه گیری
abstract
1. Introduction
2. Extensive game
3. Exchange protocol game
3.1. Players
3.2. Actions
3.3. Player functions
3.4. Information set
3.5. Payoffs
3.6. The subgame of the protocol
3.7. An example: Syverson exchange protocol
4. Formal model of rational exchange
5. Game tree and analysis of the Syverson protocol
5.1. Game tree
5.2. Weight
5.3. A linear algorithm
5.4. The Syverson protocol
6. Relationship with Buttyán’s model
6.1. An example
7. Fair exchange
8. Analysis of fair exchange protocol
8.1. ASW protocol
9. Conclusion
- ترجمه فارسی مقاله با فرمت ورد (word) با قابلیت ویرایش، بدون آرم سایت ای ترجمه
- ترجمه فارسی مقاله با فرمت pdf، بدون آرم سایت ای ترجمه