يك معناشناسي براي يك منطق احراز اصالت

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