FORMAL ANALYSIS OF THE QUALITY AND CONFORMANCE OF INFORMATION FLOW DOWNGRADERS

Mechanisms for evaluating downgrader code in application code with regard to one or more security guidelines are provided. Downgrader code in application code is identified, where the downgrader code is a portion of code in the application code that operates on an information flow of the application...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	PISTOIA, MARCO, TEILHET, STEPHEN, DARWIN, BERG, RYAN, JAMES, TATEISHI, TAKAAKI, TRIPP, OMER
Format:	Patent
Sprache:	eng ; fre
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!