top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
Autore Hammer Christian
Pubbl/distr/stampa KIT Scientific Publishing, 2009
Descrizione fisica 1 electronic resource (221 p. p.)
Soggetto non controllato information flow control
software security
program slicing
program dependence graph
path conditions
ISBN 1000012049
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Information flow control for java
Record Nr. UNINA-9910346922603321
Hammer Christian  
KIT Scientific Publishing, 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proceedings of the Workshop on JavaScript Tools : 13 June 2012, Beijing, China : JSTools '12
Proceedings of the Workshop on JavaScript Tools : 13 June 2012, Beijing, China : JSTools '12
Autore Hammer Christian
Pubbl/distr/stampa [Place of publication not identified], : ACM, 2012
Descrizione fisica 1 online resource (18 pages)
Collana ACM Other conferences
Soggetto topico Engineering & Applied Sciences
Computer Science
ISBN 1-4503-1274-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Proceedings of the Workshop on JavaScript Tools
Record Nr. UNINA-9910376314703321
Hammer Christian  
[Place of publication not identified], : ACM, 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui