Search Sciweavers | Sciweavers

752 search results - page 28 / 151

» Finite-State Modeling, Analysis and Testing of System Vulner...

click to vote

PET
2005
Springer

104views Security Privacy» more PET 2005»

Message Splitting Against the Partial Adversary

14 years 1 months ago

Download www.cl.cam.ac.uk

We review threat models used in the evaluation of anonymity systems’ vulnerability to traﬃc analysis. We then suggest that, under the partial adversary model, if multiple packe...

Andrei Serjantov, Steven J. Murdoch

claim paper

Read More »

click to vote

HICSS
2003
IEEE

179views Biometrics» more HICSS 2003»

JUMBL: A Tool for Model-Based Statistical Testing

14 years 1 months ago

Download www.hicss.hawaii.edu

Statistical testing of software based on a usage model is a cost-effective and efﬁcient means to make inferences about software quality. In order to apply this method, a usage m...

Stacy J. Prowell

claim paper

Read More »

click to vote

ASE
2005

137views more ASE 2005»

Rewriting-Based Techniques for Runtime Verification

13 years 8 months ago

Download www.havelund.com

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...

Grigore Rosu, Klaus Havelund

claim paper

Read More »

click to vote

HICSS
2003
IEEE

125views Biometrics» more HICSS 2003»

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis

14 years 1 months ago

Download www.hicss.hawaii.edu

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...

Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...

claim paper

Read More »

click to vote

INFSOF
2002

85views more INFSOF 2002»

A methodology of testing high-level Petri nets

13 years 8 months ago