1466 search results - page 41 / 294 » Completeness of the Authentication Tests |
130
click to vote
AMOST
2005
ACM
15 years 7 months ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
ITC
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes the results of testing 50 single inline memory modules (SIMMs), each containing 16 16Mbit DRAM chips (DUTs); 39 SIMMs failed, and of the 800 DUTs, 116failed. ...
133
click to vote
PTS
1998
15 years 3 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
118
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
124
click to vote
CCS
2003
ACM
15 years 7 months ago
2003
ACM
We present WebSOS, a novel overlay-based architecture that provides guaranteed access to a web server that is targeted by a denial of service (DoS) attack. Our approach exploits t...