This is a machine translation. The original page (in English) is available here.
Casa>Artículos>Software de supervisión de los Requisitos de Seguridad Instrumentados mediante Código
La parte superior de los Capturadores de teclado
Ver más...

Software de supervisión de los Requisitos de Seguridad Instrumentados mediante Código

  •  
Valoración de los usuarios: no hay opiniones. Ser la primera vez! 0 - 1 votos
AUTORES DESCRIPCIÓN

Presentamos un marco para supervisar los requisitos de software a medida que se ejecuta. El marco es de carácter general y permite el soporte automatizado. En este trabajo, presentamos el marco, y mostrar cómo el código Java puede ser instrumentados y supervisados por un model checker. Ilustramos nuestro actual de apoyo automatizado utilizando el ampliamente conocido problema del Comedor de los Filósofos. A partir de este modelo, se sugiere cómo el enfoque se puede aplicar para resolver los problemas de seguridad, tales como los que surgen durante las transacciones de comercio electrónico.
Fecha de publicación:
Leer el artículo completo
Casa>Artículos>Software de supervisión de los Requisitos de Seguridad Instrumentados mediante Código
IMPORTANTE! Instalación de equipo de monitoreo de herramientas en los equipos que no posean o no tienes permiso para monitor puede violar locales, estatales o federales.