یک سیستم پرداخت برای اینکه ایمن باشد باید چندین موارد امنیتی را رعایت کند. در سیستم های پرداخت اینترنتی، علاوه بر رعایت رازداری، انسجام داده ها، اصالت سنجی و عدم انکار، دیگر شرط ایمنی لازم تبادل عدالت محور می باشد. در بیشتر پروتکل های پرداخت، مشتریان باید قبل از دریافت کالا (برای دریافت کالاهای مجازی) یا دریافت رسید (برای دریافت کالاهای واقعی) هزینه آن را پرداخت کند اما این نوعی نابرابری می باشد. لذا این ناعدالتی باید رفع شود؛ به این معنا که عدالت برای طرفین برقرار شود.برای برقراری این عدالت پروتکل پرداخت اینترنتی عدالت محور را پیشنهاد می کنیم (اف ای آی پی اس).
پروتکل اف ای آی پی اس جهت بهره وری در پرداخت و تبادل کالاهای واقعی طراحی شده است و جزو آن دسته از پروتکل ها می باشد که از شخص ثالث مطمئن برای اطمینان حاصل کردن از تبادل عادلانه استفاده می کند. با اینکه اف ای آی پی اس بر تبادل عادلانه تاکید فراوانی دارد اما همچنان رعایت رازداری، انسجام داده ها، اصالت سنجی و عدم انکار را تضمین می کند. این پروتکل ساده، کارآمد و برخلاف سایر پروتکل ها برای کالاهای واقعی طراحی و ساخته شده است. به منظور اثبات برآورده شدن ویژگی های (پرداخت عدالت محور) مدنظر، با استفاده از زبان اچ ال اس پی ال (HLSPL) و نرم افزار آویسپا صحت این موضوع را به صورت رسمی و عینی تایید کردیم.