Resumen

Este artículo se centró en la verificación de seguridad de los programas multiproceso para redes de crowdsourcing móvil. Se propuso un algoritmo novedoso para encontrar una forma de aplicar IC3, que suele ser el algoritmo más rápido para la verificación de modelos de estado finito basada en SAT, de una manera muy inteligente para resolver el problema de seguridad de los programas multiproceso. Al calcular una serie de alcanzabilidad de sobreaproximación, las propiedades de seguridad pueden ser verificadas por los algoritmos de verificación de modelos basados en SAT. Los resultados muestran que el nuevo algoritmo supera a todos los trabajos recientemente publicados, especialmente en el consumo de memoria (una ventaja que proviene de IC3).

• Materias:Internet de las cosas Dispositivos móviles Ransomware Ingeniería de Telecomunicación Servidores en la nube
• Subjects:Internet of things Mobile devices Ransomware Telecommunication engineering Cloud Servers
• Palabras claves:Verificación de la seguridad; Programas multihilo; Redes móviles de crowdsourcing; Algoritmo IC3; Comprobación de modelos basada en SAT; Consumo de memoria.
• Keywords:Safety verification; Multithreaded programs; Mobile crowdsourcing networks; IC3 algorithm; SAT-based model checking; Memory consumption