مقاله مدل و تحلیل مبتنی بر نظریه بازی در مورد پروتکل های تبادل داده در اینترنت اشیا در ابرها (2017 الزویر)

مقدمه

بازی گسترده

بازی پروتکل تبادل

بازیگران

اعمال

توابع بازیگر

مجموعه اطلاعات

حسابها

زیربازی پروتکل

یک مثال: پروتکل تبادل Syverson

مدل رسمی در تبادل منطقی

درخت بازی و تحلیل پروتکل Syverson

درخت بازی

اوزان

یک الگوریتم خطی

پروتکل Syverson

رابطه با مدل Buttyán

یک مثال

تبادل عادلانه

تحلیل پروتکل تبادل عادلانه

پروتکل ASW

روش تحلیل درختی

نتیجه گیری

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.

داده های بزرگ، اینترنت اشیاء، و رایانش ابری به عنوان خانواده ای از فناوری ها برای جهان مرتبط شناخته می شوند. علی رغم نویدبخش بودن برای آینده، چالشهایی هم برای امنیت وجود دارد که دلیل آن پیجیدگی و غیرقابل پیش بینی بودن اینترنت، ابرها و داده است. یکی از چالش ها تبادل داده ها و اطلاعات است، به عنوان مثال،  بررسی عدم امانت داری کاربران ابر و تحلیل رفتار نا بهنجار کاربر در حین تبادل اطلاعات را می توان برشمرد. این مقاله به مکانیزم تبادل می پردازد که یک پایه نظری مناسب برای ممکن ساختن یک تجارت الکترونیک و تراکنش های الکترونیکی در کسب و کار امن است. برای اطمینان و تأیید ویژگی عدالت، به عنوان یک ویژگی مهم در مکانیزم تبادل، این مقاله یک مدل ویژه برای تحلیل رفتار بر مبنای بازی گسترده با اطلاعات ناکامل پیشنهاد می دهد. ویژگی های منطقی بودن و عدالت در بازی و درخت بازی متناظر ایجاد می شوند. برای بررسی ویژگی ها، یک روش تحلیل درختی و یک الگوریتم زمانی خطی داده شده است. به عنوان مورد مطالعاتی، برخی نواقص پروتکل ASW شناسایی می شوند.