Verificatore di flusso di informazioni sulla carta Java JCSI è uno strumento prototipo per l'analisi e la visualizzazione dei file della coprica della carta Java. Il metodo di analisi implementato nello strumento si basa sulla teoria dell'interpretazione astratta e di un Secupu multilivello
Scarica ora

Verificatore di flusso di informazioni sulla carta Java Classifica e riepilogo

Verificatore di flusso di informazioni sulla carta Java Tag

Verificatore di flusso di informazioni sulla carta Java Descrizione

JCSI è uno strumento prototipo per l'analisi dei file della protezione della carta Java JCSI è uno strumento prototipo per l'analisi e la visualizzazione dei file della coprica della carta Java. Il metodo di analisi implementato nello strumento si basa sulla teoria dell'interpretazione astratta e sull'assegnazione della politica di sicurezza multilivello. I valori effettivi delle variabili sono astratti in livelli di sicurezza e le istruzioni di bytecode vengono eseguite su un dominio astratto. Lo strumento può essere utilizzato per scoprire problemi di sicurezza dovuti a flussi di informazioni espliciti o impliciti e per controllare le proprietà di sicurezza delle applicazioni della scheda Java scaricate da fonti non affidabili.

Verificatore di flusso di informazioni sulla carta Java Software correlato