739 search results - page 40 / 148 » Security Analysis of IEEE 802.16 |
210
click to vote
ACSAC
2007
IEEE
16 years 13 days ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
126
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
149
click to vote
ICDCS
2005
IEEE
15 years 11 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
179
click to vote
CSFW
2004
IEEE
15 years 9 months ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
162
click to vote
ACSAC
2007
IEEE
16 years 13 days ago
2007
IEEE
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...