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