ترجمه مقاله نقش ضروری ارتباطات 6G با چشم انداز صنعت 4.0
- مبلغ: ۸۶,۰۰۰ تومان
ترجمه مقاله پایداری توسعه شهری، تعدیل ساختار صنعتی و کارایی کاربری زمین
- مبلغ: ۹۱,۰۰۰ تومان
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 شناسایی می شوند.