5255 search results - page 272 / 1051 » Formal Methods for Privacy |
121
click to vote
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...
149
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we develop an analytical framework to measure the vulnerability of superpeer networks against attack. Two different kinds of attacks namely deterministic and degre...
116
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Protocol participants manipulate values, transforming the cryptographic contexts in which they occur. The rules of the protocol determine which transformations are permitted. We fo...
113
click to vote
ISPEC
2007
Springer
15 years 10 months ago
2007
Springer
Considerable research and experiment results in recent years have shown that the server-proxy-user architecture represents an efficient and scalable new paradigm for multimedia con...
120
click to vote
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
In many reliability studies based on data, reliability engineers face incompleteness and incoherency problems in the data. Probabilistic tools badly handle these kinds of problems...