یک تحلیل تفاضل ناممکن از الگوریتم رمزقالبی Zorro

تحلیل تفاضل ناممکن ابزاری قوی به منظور ارزیابی امنیتی رمزهای قالبی است که بر پایه یافتن یک مشخصه تفاضلی با احتمال به طوردقیق صفر بنا شده است. سرعت انتشار لایه خطی یک رمز قالبی، نقشی اساسی در امنیت الگوریتم رمز در مقابل تحلیل تفاضل ناممکن دارد و با تغییر لایه خطی، امنیت الگوریتم در مقابل تحلیل تفاضل ناممکن به شدت تغییر می کند. در این مقاله، روشی کارا و متفاوت برای یافتن مشخصه های تفاضلی رمز قالبی سبک وزن Zorro ارایه می کنیم که مستقل از ویژگی های لایه خطی الگوریتم است. به بیان دیگر در این مقاله نشان خواهیم داد که مستقل از ویژگی های عناصر الگوریتم، می توان برای نه دور از الگوریتم Zorro مشخصه تفاضل ناممکن کارایی به دست آورد. همچنین برپایه این مشخصه نه دوری، یک حمله بازیابی کلید برای ده دور الگوریتم Zorro ارایه می کنیم.