Questions?

More documents

Recommendations

Info

CONTEXT FORMALIZATION CHANNELS, FLOWS AND LABELS WRAP-UP Information Flows Two dimensions: direct/indirect and explicit/implicit direct: use legitimate channels intended for data transfer. indirect: use channels which are not intended for data transfer. explicit: created by the occurrence of a specific event. implicit: created by the fact that a specific event does not occur. � Some papers (particularly static techniques) use: direct or explicit for direct flows indirect or implicit for indirect flows G. Le Guernic DD2460 (III, L1): Information Flow Security 22/35
CONTEXT FORMALIZATION CHANNELS, FLOWS AND LABELS WRAP-UP Information Flows: example Explicit created by the occurrence of an event/action Implicit created by the absence of a specific event/action if b then x := e1 else y := e2 Direct use legitimate channels for data transfer e 1 → x iff b = true e 2 → y iff b = false Indirect use channels not intended for data transfer b → x iff b = true b → y iff b = false b → y iff b = true b → x iff b = false G. Le Guernic DD2460 (III, L1): Information Flow Security 23/35
Page 1 and 2: Information Flow Security DD2460 So
Page 3 and 4: CONTEXT FORMALIZATION CHANNELS, FLO
Page 21: CONTEXT FORMALIZATION CHANNELS, FLO
Page 35: CONTEXT FORMALIZATION CHANNELS, FLO

Questions?

Create successful ePaper yourself

Delete template?

Save as template?