187 search results - page 26 / 38 » Secure information flow and program logics |
223
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
125
Voted
IJISEC
2008
15 years 3 months ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
159
click to vote
DRM
2005
Springer
15 years 9 months ago
2005
Springer
A software obfuscator is a program O to transform a source program P for protection against malicious reverse engineering. O should be correct (O(P) has same functionality with P)...
122
click to vote
ICCD
2006
IEEE
16 years 11 days ago
2006
IEEE
—Current micro-architecture blindly uses the address in the program counter to fetch and execute instructions without validating its legitimacy. Whenever this blind-folded instru...
150
Voted
IFIP
2010
Springer
14 years 10 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...