This is a machine translation. The original page (in English) is available here.
Windows
Mac OS
Móvil

Última noticia: 19 de septiembre de 2016 - , Hemos añadido nuevas categorías para el monitoreo de pruebas de productos: el Micrófono y la Webcam Grabación, etc... Feed RSS

Inicio>Artículos>Software de Supervisión de los Requisitos de Seguridad Instrumentados mediante Código

AnyKeylogger para Mac

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

por William N. Robinson

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.
Leer el artículo completo
Inicio>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.
Suggest translation