fa شبیه‌سازی ماشین‌های امن خودپرداز با استفاده از دیف تخصصي Special پژوهشي Research <div style="text-align: justify;">در این مقاله، فرمول دیف مشخصات سیستم‌های رویداد گسسته که توسط دکتر برنارد پی زایگلر در سال 1976 در کتاب با نام تئوری مدل‌سازی و شبیه‌سازی معرفی شد استفاده شده و برای مدلسازی و شبیه سازی عملکرد ماشین خود پرداز بحث شده است. امروزه سیستم‌های خود پرداز بدون شک به یک ضرورت در بانک‌ها تبدیل شده است. مردم دیگر مجبور نیستند برای انجام تراکنش‌های خود به بانک‌ها مراجعه کنند، اما در عوض ازین نوع سیستم‌ها استفاده می‌کنند، با این حال، همه کسانی که از سیستم خودپرداز استفاده می‌کنند از عملکرد واضح نحوه انجام فرآیندها در داخل سیستم آگاه نیستند که به چه رویه‌ی این سیستم‌ها امن است. با داشتن کارت خودپرداز و پین معتبر مشتریان بانک‌ها می توانند از دستگاه خودپرداز استفاده کنند که در آن اعتبار فنی به عنوان پین (شماره شناسایی شخصی) پذیرفته شده است. احراز هویت و مجوز تضمین می‌کند که حداکثر امنیت از طریق دستگاه‌های خودپرداز رعایت می‌شود. در واقع، بانک‌ها برای کاربران می‌توانند فراهم سازی عملکردهای مانند بررسی موجودی، سپرده نقدی و تراکنش‌های پولی خدمات ارائه کرده ولی بزرگترین چالش‌آن انتقال امن است که از آن به ویژه ماشین‌های سیار خودپرداز رنج می‌برند. با توجه به فرمول دیف دراین مقاله تلاش شده است تا با استفاده از فرمول فوق مدل کاربردی انتقال امن داده‌ها را فراهم ساخت.</div> <div style="text-align: justify;">In this article, the DEVS formula of discrete event systems, which was introduced by Dr. Bernard P. Ziegler in 1976 in a book called Theory of Modeling and Simulation, the concept of DEVS is used and discussed for modeling and simulating an ATM machine. Today, ATM machine have undoubtedly become a necessity in banks, people no longer have to visit the banks to do their transactions, instead use these types of machines, however, the people who are using an ATM machine are not clear and aware of that how the secure processes work inside of the ATMs. With an ATM card and a valid PIN, the customers can use the ATM where the valid user is accepted based on a PIN (personal identification number). Authentication and authorization ensures that maximum security is maintained through ATMs. In fact, banks provide flexible functionalities for the users such as balance checking, cash deposit and money transactions, but the biggest challenge is the security of the transactions, which especially the mobility ATM machines suffer. According to the DEVS formula, in this article, an attempt has been made to provide an application model for secure data transmission using the above formula.</div> ماشین خودپرداز , احراز هویت, فرمول دیف, مدل سازی و شبیه سازی ATM machine, authentication, DEVS formula, modeling and simulation 49 64 http://jots.knu.edu.af/browse.php?a_code=A-10-1-22&slc_lang=fa&sid=1 سید زکریا حبیب s.z.habib@knu.edu.af Yes دیپارتمنت مهندسی نرم افزار، دانشکده کامپیوترساینس، دانشگاه خاتم النبیین(ص)، کابل، افغانستان