Resumen

​La manipulación ilegal de software es uno de los mayores problemas de seguridad e incluye el software relevante en relación con los instrumentos de peso y medida como las básculas puente. Este artículo presenta la Inspección de Instrumentos de Pesaje de Funcionamiento No Automático (NAWI) Asistida por Software de Malasia (MySANI), un método utilizado para mejorar el sistema de inspección de software en metrología legal. La evaluación de la seguridad se basa en las mejores prácticas de TI en metrología, donde el modelo de ataque a los activos relevantes de los objetos de seguridad se simula para el Árbol de Probabilidad de Ataque el cuál se verifica integrando la anotación formal y la comparación con el dominio del sistema de transición de estados finitos para comprobar las propiedades de corrección del diseño del árbol antes de que el modelo pueda seguir utilizándose en un procedimiento de análisis de riesgos.​

• Materias:Desarrollo científico y tecnológico Evaluación del riesgo Infraestructura Metrología
• Subjects:Scientific and technological development Risk assessment Infrastructure Metrology
• Palabras claves:Modelo formal; Técnicas de especificación; Protección de infraestructuras; Seguridad; Integridad; Derecho
• Keywords:Formal model; Specification techniques; Infrastructure protection; Security; Integrity; Law