Security flow analysis

Definition
A security flow analysis is

"[a] security analysis performed on a formal system specification that locates potential flows of information within the system."