311 search results - page 34 / 63 » Secure Information Flow by Self-Composition |
ISMVL
2010
IEEE
15 years 6 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
138
click to vote
VEE
2012
ACM
13 years 9 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
107
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...
129
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Many cryptographic schemes have been designed to enforce information flow policies. However, enterprise security requirements are often better encoded, or can only be encoded, usin...
112
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...