05.01.2013 Views

Questions?

Questions?

Questions?

SHOW MORE
SHOW LESS

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 />

Context<br />

More and more information systems (PC, smartphone,<br />

web browser, server, . . . ) inhabited by applications<br />

and data belonging to different “owners”.<br />

Problem: untrusted applications living in the same<br />

space as sensitive data (sometimes even manipulating<br />

them).<br />

Same problem for every system manipulating code<br />

and/or data with different end-user access rights<br />

ads in websites<br />

cross-site scripting<br />

. . .<br />

G. Le Guernic DD2460 (III, L1): Information Flow Security 4/35

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!