Resumen

Con el uso generalizado de la tecnología RFID y el rápido desarrollo del Internet de las cosas, la investigación de cifrados de bloques ligeros se ha convertido en uno de los temas candentes en la investigación criptográfica. En los últimos años, han surgido cifrados de bloques ligeros que se utilizan ampliamente, y su seguridad también es crucial. Skinny-64/192 se puede utilizar para proteger la seguridad de datos, como en las aplicaciones de multimedia inalámbrica y redes de sensores inalámbricos. En este artículo, utilizamos un nuevo método para verificar la seguridad de Skinny-64/192. El método se llama programación lineal mixta de enteros (MILP), que puede caracterizar con precisión la operación lineal y la operación no lineal en una función de ronda. Al aplicar el programa MILP, podemos encontrar automáticamente una característica diferencial de 11 rondas para Skinny-64/192 con el mínimo número de cajas S activas. La probabilidad de rastro diferencial es , es decir, mucho mayor que que es la probabilidad de éxito para una búsqueda exhaustiva. Además, al

• Materias:Cifrado de búsqueda Ataque criptográfico Seguridad en Internet
• Subjects:Search encryption Cryptographic attack Internet Security
• Palabras claves:Tecnología rfid; Internet de las cosas; Cifrado por bloques ligero; Skinny-64/192; Programación lineal de enteros mixtos; Seguridad
• Keywords:Rfid technology; Internet of things; Lightweight block cipher; Skinny-64/192; Mixed-integer linear programming; Security