3420 search results - page 344 / 684 » A Language-Based Approach to Security |
172
click to vote
CTRSA
2010
Springer
16 years 1 months ago
2010
Springer
Security devices are vulnerable to side-channel attacks that perform statistical analysis on data leaked from cryptographic computations. Higher-order (HO) attacks are a powerful a...
165
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Video is one of the most popular data shared in the Web, and the protection of video copyright is of vast interest. In this paper, we present a comprehensive approach for protecti...
171
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...
186
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
To-date, security analysis techniques focus on the explicit access to data, thereby neglecting information flows happening over covert channels. As a result, critical business so...
174
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...