5255 search results - page 360 / 1051 » Formal Methods for Privacy |
163
click to vote
SICHERHEIT
2010
15 years 2 months ago
2010
: This paper presents a fuzzy set based decision support model for taking uncertainty into account when making security investment decisions for distributed systems. The proposed m...
123
click to vote
GIL
2009
15 years 2 months ago
2009
Abstract: We have surveyed three molecular biology labs in Germany and Vietnam to evaluate practical problems in the management of molecular genetics data. These labs are generatin...
156
click to vote
CSFW
2011
IEEE
14 years 4 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
172
click to vote
ESORICS
2011
Springer
14 years 4 months ago
2011
Springer
A common client-side countermeasure against Cross Site Request Forgery (CSRF) is to strip session and authentication information from malicious requests. The difficulty however is ...
169
click to vote
CSFW
2012
IEEE
13 years 7 months ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...