Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique called program slici...

Descripció completa

Dades bibliogràfiques

Autor principal:	Hammer, Christian
Format:	Online
Idioma:	anglès
Publicat:	KIT Scientific Publishing 2021
Matèries:	QA75.5-76.95 information flow control software security program slicing program dependence graph path conditions bic Book Industry Communication::U Computing & information technology::UY Computer science
Accés en línia:	34930
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!