3544 search results - page 232 / 709 » Information Security in Open Systems |
190
click to vote
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
201
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
174
click to vote
CCS
2004
ACM
16 years 18 days ago
2004
ACM
WinZip is a popular compression utility for Microsoft Windows computers, the latest version of which is advertised as having “easy-to-use AES encryption to protect your sensitiv...
206
click to vote
AICCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
193
click to vote
ACSAC
2003
IEEE
16 years 15 days ago
2003
IEEE
There is a large gap between the theory and practice for random number generation. For example, on most operating systems, using /dev/random to generate a 256-bit AES key is highl...