1518 search results - page 17 / 304 » Cryptographic Test Correction |
PTS
2008
13 years 11 months ago
2008
The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...
CSFW
2007
IEEE
14 years 4 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...
COMPSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
For Rayleigh/Rician statistics at the decision device, the probability of correct decision in the forced choice (FC) hypothesis test is given in terms of a closed-form finite ser...
TSE
2011
13 years 4 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...