La inteligencia de las tarjetas inteligentes
Si no se ofrecen medidas de seguridad mediante certificados de fiabilidad, el grado de confianza de los usuarios y las operaciones de seguridad del software se van a ver reducidas inevitablemente. Hasta ahora, las aplicaciones de las tarjetas inteligentes no se podían investigar porque eran muy complejas o porque eran secretas. El objetivo a largo plazo de la aplicación Demoney es, por tanto, ayudar a las autoridades a certificar automáticamente el software con el grado máximo de seguridad. Demoney es un monedero electrónico pata tarjetas inteligentes y constituye una característica típica de las aplicaciones bancarias. A pesar de que es muy básica, comprende códigos de certificación y envíos seguros de mensajes basados en unas claves secretas. La lógica que se deriva de esta aplicación ofrece un lenguaje versátil de especificación para dar carácter oficial a las propiedades de la seguridad. También puede ofrecer ventajas como el plan de fidelidad, que consiste en obtener puntos de forma automática al realizar una compra. Este nuevo enfoque cuantitativo del análisis de la seguridad ha sustituido al concepto tradicional de seguridad, permitiendo medir la vulnerabilidad de un sistema para poder fortalecerlo. Es una buena noticia para el futuro de la seguridad del software. Contribuirá a evitar las operaciones dañinas e ilegales y a invocar una sensación de confianza tanto para el usuario como para el proveedor.
