3420 search results - page 483 / 684 » A Language-Based Approach to Security |
174
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
138
click to vote
ESORICS
2007
Springer
15 years 9 months ago
2007
Springer
Anonymous communications provides an important privacy service by keeping passive eavesdroppers from linking communicating parties. However, using long-term statistical analysis of...
166
click to vote
DSN
2006
IEEE
15 years 9 months ago
2006
IEEE
Due to our increasing reliance on computer systems, security incidents and their causes are important problems that need to be addressed. To contribute to this objective, the pape...
172
click to vote
ESORICS
2006
Springer
15 years 9 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...
156
click to vote
OOPSLA
2000
Springer
15 years 9 months ago
2000
Springer
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...