1599 search results - page 44 / 320 » Program Analysis for Security and Privacy |
134
click to vote
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
127
click to vote
SP
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
117
click to vote
FOSAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...
104
click to vote
DIAU
2000
Springer
15 years 5 months ago
2000
Springer
We present the traffic analysis problem and expose the most important protocols, attacks and design issues. Afterwards, we propose directions for further research. As we are mostl...
108
click to vote
MOC
2010
14 years 8 months ago
2010
We derive in this paper a unified framework for a priori and a posteriori error analysis of mixed finite element discretizations of second-order elliptic problems. It is based on ...