Burrows–Abadi–Needham logic

تحويل منطق بوروس-عبادي-نظيم