یک معناشناسی برای یک منطق احراز اصالت

با توسعه سریع شبکه های ارتباطی استفاده از پروتکل های امنیت برای رسیدن به اهداف امنیتی بیش از پیش های مورد استفاده برای اطمینان از های رمزنگاری و الگوریتم مورد توجه قرار گرفته است. امنیت شبکه، شامل پروتکلهای رمزنگاری همه منظوره طراحی و با استفاده از ارتباطات امن در یک محیط ناامن است. به طور سنتی، پروتکلها منجر به کشف نقایصامنیتی یابی صوری پروتکل اند. عدم درستی یابی شده های غیر صوری و شهودی درستی تکنیککه طوری های رمزنگاری است به های دقیق و کامل ارزیابی صحت پروتکل یابی صوری ارائه روش شود. هدف درستی میهای امنیتی تا حد زیادی به یابی صوری پروتکل های ظریف نیز کشف شوند. روش مبتنی بر منطق درستی حتی نقصتوسعه یافته است منطقی شناختی است که BAN که بر اساس منطق AT گردد. منطق بر می BAN دهندگان منطق ارائهبررسی AT ی امنیت مناسب هستند تکمیل شده است. در این مقاله منطق توسط ساختارهایی که برای استدلال دربارهشود. م

کلیدواژه ها:

احراز اصالت ، معناشناسی ، پروتکل های امنیت ، رمزنگاری