The document describes DEKART Random Run's Tests, a series of tests for evaluating random number generators used in smart card technology. The tests assess criteria like entropy source, non-determinism, robustness, and compliance with statistical random number generator tests. The tests yield statistical results to classify a random number generator as cryptographically strong, weakly random, or non-random. The document outlines 14 individual tests in the test suite for evaluating different properties of random number generators.
29. Data Security Section of Smart Card Technology, DEKART S.R.L.
Moldova, Kishinev February 8, 1999
4
7 #
M
L
M
L 7
#7 C .
7
Borland
C 3.02. p
L
L
MS DOS.
M
L 7Y$ !
%
M
L
7
!
# ! !%
# i
##
!
!
! 7 M 7 %
:
X
q
7
# :L 7
!
2 , #
##
M 7
# 7# 7
!
# #
7
## yy[9]
%:
#
#E
a
%8: #
# !
#
7
(c 1
) 7 :
Y$ :$
Name of test (not enough statistics).
58. Data Security Section of Smart Card Technology, DEKART S.R.L.
Moldova, Kishinev February 8, 1999
O
P ! Hvvrvv- rvv-E1 % a, b, c – !
7
E !
7 Y#
$Y #
stream.
7$ 7
!
#
yy[i] %:
#
#E
59. %
!
# d
4.11 CHI ; 6
p
L# double CHI(double x, int n)
chi.c
71. Data Security Section of Smart Card Technology, DEKART S.R.L.
Moldova, Kishinev February 8, 1999
!
!
# 7#
%:
ier # 7
!
X
4.15 comment ;
7
F 2
p
L# void comment(void)
comment.c
72. 7 7
# !
X :$
7Y !
# 7#
ier=1,
yy[i]0 IIfCnwX E # :$
O(@@0@ 0F 6546P
Result of test is :
A. Frequency Test - Satisfactory
B. Serial Test - Satisfactory
C. Gap Test - Satisfactory
D. Poker Test - Faintly suspicious
E. Coupon Test - Satisfactory
F. Permutation Test - Satisfactory
G. Runs Up Test - Satisfactory
H. Maxi-of-8 Test - Satisfactory
I. Lapped M-Tuple Test - Satisfactory
k
!
# #
H:: extern double yy[9].
7$ 7
!
d
73. %
!
# d
4.16 p_value ; 6 ps #
p
L# void p_value(void)
p_value.c