1757 search results - page 81 / 352 » Secure Content Validation |
128
click to vote
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
114
click to vote
USENIX
2003
15 years 4 months ago
2003
Often, increased security comes at the expense of user convenience, performance, or compatibility with other systems. The right level of security depends on specific site and use...
110
click to vote
WSC
2004
15 years 4 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
111
click to vote
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
Privacy is gaining importance since more and more data becomes digitalized. There is also a growing interest from the security community because of the existing synergy between se...
118
Voted
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
The wide use of Flash technologies makes the security risks posed by Flash content an increasingly serious issue. Such risks cannot be effectively addressed by the Flash player, w...