3680 search results - page 209 / 736 » cases 2010 |
157
click to vote
TAICPART
2010
IEEE
15 years 4 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
159
click to vote
TCS
2010
15 years 4 months ago
2010
Borodin, Nielsen and Rackoff [13] introduced the class of priority algorithms as a framework for modeling deterministic greedy-like algorithms. In this paper we address the effe...
222
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—We present a semi-automated approach for the reverse engineering of UML sequence diagrams. Our approach starts with a set of execution traces that are automatically aligned in o...
155
click to vote
WIOPT
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we propose a comprehensive probabilistic framework which can be used to model and analyze cognitive radio (CR) network using carrier sensing (CS) based multiple acc...
171
click to vote
BPSC
2010
15 years 4 months ago
2010
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...