1183 search results - page 112 / 237 » On flow-sensitive security types |
160
click to vote
CCS
1993
ACM
15 years 8 months ago
1993
ACM
NetCash is a framework that supports realtime electronic payments with provision of anonymity over an unsecure network. It is designed to enable new types of services on the Inter...
153
Voted
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
152
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. Practical computer (in)security is largely driven by the existence of and knowledge about vulnerabilities, which can be exploited to breach security mechanisms. Although ...
147
click to vote
FSE
2006
Springer
15 years 8 months ago
2006
Springer
This is the first article analyzing the security of SHA-256 against fast collision search which considers the recent attacks by Wang et al. We show the limits of applying technique...
142
click to vote
CSFW
2008
IEEE
15 years 6 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...