Grundläggande informationsteori används för att analysera mängden konfidentiell information som kan läckas ut av program skrivna på ett mycket enkelt och tvingande språk. I synnerhet ges en detaljerad analys av eventuella läckage på grund av jämlikhetstester och om uttalanden. Analysen presenteras som en uppsättning syntaxstyrda slutledningsregler och kan enkelt automatiseras.
En annan relaterad metod är den som presenteras i REF, där mängden konfidentiell information som kan läckas av program skrivna på ett enkelt vitalt språk analyseras med hjälp av Shannons informationsteori.
Quantitative Analysis of the Leakage of Confidential Data
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science', 'Mathematics']}