علی باقرزندی - دانشکده مهندسی کامپیوتر، دانشگاه صنعتی شریف
کوشیار عظیمیان - دانشکده مهندسی کامپیوتر، دانشگاه صنعتی شریف
جواد مهاجری - پژوهشکده الکترونیک دانشگاه صنعتی شریف
محمود سلماسی زاده - پژوهشکده الکترونیک دانشگاه صنعتی شریف

در این مقاله با ارائه تعریفی مبتنی بر مقایسه برای امنیت معنایی سعی داریم چارچوب تعریف اهدافی چون امنیت معنایی، ناسازگاری و تمایز ناپذیری را یکسان کنیم. این امر یافتن روابط حاکم بین این اهداف در مقابل حملات مختلف را تسهیل می کند و تناقضات ناشی از عدم تطبیق چارچوب های موجود برای این تعاریف را از بین می برد. علاوه بر این اثبات هم ارزی دو هدف امنیت معنایی و تمایزناپذیری با استفاده از این روش بسیار ساده تر از اثبات های قبلی بوده و نیاز به تعریف اهداف واسطی چون افراز ناپذیری برای تغییر چارچوب تعریف را از بین میبرد.

امنیت معنایی ، تمایز ناپذیری ، ناسازگاری ، چارچوب تعریف مبتنی بر شبیه سازی ، چارچوب تعریف مقایسه ای