752 search results - page 28 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
101
click to vote
PET
2005
Springer
15 years 7 months ago
2005
Springer
We review threat models used in the evaluation of anonymity systems’ vulnerability to traffic analysis. We then suggest that, under the partial adversary model, if multiple packe...
105
Voted
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
132
Voted
ASE
2005
15 years 1 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
113
Voted
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
102
Voted
INFSOF
2002
15 years 1 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri