Questions?
Questions?
Questions?
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
CONTEXT FORMALIZATION CHANNELS, FLOWS AND LABELS WRAP-UP<br />
From Security Lattice to Flow Lattice<br />
Secret<br />
Public<br />
×<br />
⎛<br />
⎜<br />
⎝<br />
Trusted<br />
Untrusted<br />
⎞<br />
⎟<br />
⎠<br />
−1<br />
→<br />
Secret<br />
Trusted<br />
Secret<br />
Untrusted<br />
Public<br />
Trusted<br />
G. Le Guernic DD2460 (III, L1): Information Flow Security 30/35<br />
Public<br />
Untrusted