1466 search results - page 41 / 294 » Completeness of the Authentication Tests |
AMOST
2005
ACM
14 years 2 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
14 years 1 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. ...
PTS
1998
13 years 10 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...
CSFW
2007
IEEE
14 years 3 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...
CCS
2003
ACM
14 years 2 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...