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 | ||
|
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 | ||
|