Software di monitoraggio di Requisiti di Sicurezza, utilizzando Strumentazione di Codice
di William N. Robinson
AUTORI' DESCRIZIONE
Vi presentiamo un quadro di riferimento per monitorare i requisiti del software, come si esegue. Il quadro generale, e consente di supporto automatizzato. In questo libro, abbiamo introdotto il quadro, e mostra come il codice Java può essere strumentato e monitorati da un model checker. Illustriamo il nostro attuale supporto automatizzato, utilizzando il noto problema del Pranzo Filosofi. Da questo esemplare, ci suggeriscono come l'approccio può essere applicato per affrontare i problemi di sicurezza, come quelle che si verificano durante le operazioni di commercio elettronico.
Data di pubblicazione:
Vi presentiamo un quadro di riferimento per monitorare i requisiti del software, come si esegue. Il quadro generale, e consente di supporto automatizzato. In questo libro, abbiamo introdotto il quadro, e mostra come il codice Java può essere strumentato e monitorati da un model checker. Illustriamo il nostro attuale supporto automatizzato, utilizzando il noto problema del Pranzo Filosofi. Da questo esemplare, ci suggeriscono come l'approccio può essere applicato per affrontare i problemi di sicurezza, come quelle che si verificano durante le operazioni di commercio elettronico.
Data di pubblicazione:
