3003 search results - page 93 / 601 » Software Security: Building Security In |
185
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
195
click to vote
WPES
2003
ACM
15 years 11 months ago
2003
ACM
Traditionally, application software developers carry out their tests on their own local development databases. However, such local databases usually have only a small number of sa...
188
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Instruction-set randomization (ISR) is a technique based on randomizing the "language" understood by a system to protect it from code-injection attacks. Such attacks wer...
167
click to vote
ESORICS
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
141
click to vote
SCS
2003
15 years 7 months ago
2003
Systems whose failure can lead to the damage of property or the environment, or loss of human life are regarded as safety-critical systems. It is no longer adequate to build safet...