Software de supervisión de los Requisitos de Seguridad Instrumentados mediante Código
por William N. Robinson
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: