1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
module Main (main) where
import qualified Data.ByteString as BS
import OpenSSL.DSA
import TestUtils
-- | This function just runs the example DSA generation, as given in FIP 186-2,
-- app 5.
test_generateParameters :: IO ()
test_generateParameters = do
let seed = BS.pack [0xd5, 0x01, 0x4e, 0x4b,
0x60, 0xef, 0x2b, 0xa8,
0xb6, 0x21, 0x1b, 0x40,
0x62, 0xba, 0x32, 0x24,
0xe0, 0x42, 0x7d, 0xd3]
(a, _, p, q, g) <- generateDSAParameters 512 $ Just seed
assertEqual "generateParameters"
( 105
, 0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adac32ab7aac49693dfbf83724c2ec0736ee31c80291
, 0xc773218c737ec8ee993b4f2ded30f48edace915f
, 0x626d027839ea0a13413163a55b4cb500299d5522956cefcb3bff10f399ce2c2e71cb9de5fa24babf58e5b79521925c9cc42e9f6f464b088cc572af53e6d78802
) (a, p, q, g)
testMessage :: BS.ByteString
testMessage = BS.pack [1..20]
test_signVerify :: IO ()
test_signVerify = do
dsa <- generateDSAParametersAndKey 512 Nothing
(a, b) <- signDigestedDataWithDSA dsa testMessage
valid <- verifyDigestedDataWithDSA dsa testMessage (a, b)
assertBool "signVerify" valid
main :: IO ()
main = do
test_generateParameters
test_signVerify
|
