3003 search results - page 167 / 601 » Software Security: Building Security In |
135
click to vote
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
Legacy systems provide services that remain useful beyond the means of the technology in which they were originally implemented. Our Legacy Wrapper tool packages the services of a...
123
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
108
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
150
click to vote
IEEEARES
2009
IEEE
15 years 2 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
139
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, the adequacy of the softw...