After John wrote the abstract "ARIA密码是2003年由韩国学者提出的新的分组密码算法，该密码与AES的设计原理相类似，并在2004年被选为韩国的分组密码标准。该文根据ARIA密码的结构特征，提出ARIA密码的一种新的7轮不可能差分攻击路径，首次实现了对ARIA-192的不可能差分攻击，攻击的时间复杂度为2176.2。同时，利用扩散层的相关性质降低攻击ARIA-256的时间复杂度为2192.2。", he wrote these keywords "可能, ARIA密码, 差分". Do you think his choice of keywords was correct? Answer yes or no.
no