2270 search results - page 238 / 454 » Modelling Secure IT Systems - A Survey |
150
click to vote
ESORICS
2006
Springer
15 years 8 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
142
click to vote
IJNSEC
2007
15 years 4 months ago
2007
The ability of communicating with a selected party anonymously is an important aspect of network security. Communicating anonymously means that no adversary can discern who is com...
134
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
146
click to vote
EUROCRYPT
2012
Springer
13 years 7 months ago
2012
Springer
This paper proposes the first inner product encryption (IPE) scheme that is adaptively secure and fully attribute-hiding (attribute-hiding in the sense of the definition by Katz...
170
click to vote
CLEF
2008
Springer
15 years 6 months ago
2008
Springer
We describe the WebCLEF 2008 task. Similarly to the 2007 edition of WebCLEF, the 2008 edition implements a multilingual "information synthesis" task, where, for a given t...