OpenSSL.DSA

The Digital Signature Algorithm (FIPS 186-2). See http://www.openssl.org/docs/crypto/dsa.html

Type

class DSAKey k where

DSAKey a is either DSAPubKey or DSAKeyPair.

Minimal complete definition

withDSAPtr, peekDSAPtr, absorbDSAPtr

Methods

dsaSize :: k -> Int

Return the length of key.

dsaP :: k -> Integer

Return the public prime number of the key.

dsaQ :: k -> Integer

Return the public 160-bit subprime, q | p - 1 of the key.

dsaG :: k -> Integer

Return the public generator of subgroup of the key.

dsaPublic :: k -> Integer

Return the public key y = g^x.

withDSAPtr :: k -> (Ptr DSA -> IO a) -> IO a

peekDSAPtr :: Ptr DSA -> IO (Maybe k)

absorbDSAPtr :: Ptr DSA -> IO (Maybe k)

Instances

DSAKey DSAKeyPair

Defined in OpenSSL.DSA

Methods

dsaSize :: DSAKeyPair -> Int

dsaP :: DSAKeyPair -> Integer

dsaQ :: DSAKeyPair -> Integer

dsaG :: DSAKeyPair -> Integer

dsaPublic :: DSAKeyPair -> Integer

withDSAPtr :: DSAKeyPair -> (Ptr DSA -> IO a) -> IO a

peekDSAPtr :: Ptr DSA -> IO (Maybe DSAKeyPair)

absorbDSAPtr :: Ptr DSA -> IO (Maybe DSAKeyPair)

DSAKey DSAPubKey

Defined in OpenSSL.DSA

Methods

dsaSize :: DSAPubKey -> Int

dsaP :: DSAPubKey -> Integer

dsaQ :: DSAPubKey -> Integer

dsaG :: DSAPubKey -> Integer

dsaPublic :: DSAPubKey -> Integer

withDSAPtr :: DSAPubKey -> (Ptr DSA -> IO a) -> IO a

peekDSAPtr :: Ptr DSA -> IO (Maybe DSAPubKey)

absorbDSAPtr :: Ptr DSA -> IO (Maybe DSAPubKey)

data DSAPubKey

The type of a DSA public key, includes parameters p, q, g and public.

Instances

DSAKey DSAPubKey

Defined in OpenSSL.DSA

Methods

dsaSize :: DSAPubKey -> Int

dsaP :: DSAPubKey -> Integer

dsaQ :: DSAPubKey -> Integer

dsaG :: DSAPubKey -> Integer

dsaPublic :: DSAPubKey -> Integer

withDSAPtr :: DSAPubKey -> (Ptr DSA -> IO a) -> IO a

peekDSAPtr :: Ptr DSA -> IO (Maybe DSAPubKey)

absorbDSAPtr :: Ptr DSA -> IO (Maybe DSAPubKey)

PKey DSAPubKey

Defined in OpenSSL.EVP.PKey

Methods

toPKey :: DSAPubKey -> IO VaguePKey

fromPKey :: VaguePKey -> IO (Maybe DSAPubKey)

pkeySize :: DSAPubKey -> Int

pkeyDefaultMD :: DSAPubKey -> IO Digest

PublicKey DSAPubKey

Defined in OpenSSL.EVP.PKey

Methods

fromPublicKey :: DSAPubKey -> SomePublicKey

toPublicKey :: SomePublicKey -> Maybe DSAPubKey

Show DSAPubKey

Defined in OpenSSL.DSA

Methods

showsPrec :: Int -> DSAPubKey -> ShowS

show :: DSAPubKey -> String

showList :: [DSAPubKey] -> ShowS

Eq DSAPubKey

Defined in OpenSSL.DSA

Methods

(==) :: DSAPubKey -> DSAPubKey -> Bool

(/=) :: DSAPubKey -> DSAPubKey -> Bool

Ord DSAPubKey

Defined in OpenSSL.DSA

Methods

compare :: DSAPubKey -> DSAPubKey -> Ordering

(<) :: DSAPubKey -> DSAPubKey -> Bool

(<=) :: DSAPubKey -> DSAPubKey -> Bool

(>) :: DSAPubKey -> DSAPubKey -> Bool

(>=) :: DSAPubKey -> DSAPubKey -> Bool

max :: DSAPubKey -> DSAPubKey -> DSAPubKey

min :: DSAPubKey -> DSAPubKey -> DSAPubKey

data DSAKeyPair

The type of a DSA keypair, includes parameters p, q, g, public and private.

Instances

DSAKey DSAKeyPair

Defined in OpenSSL.DSA

Methods

dsaSize :: DSAKeyPair -> Int

dsaP :: DSAKeyPair -> Integer

dsaQ :: DSAKeyPair -> Integer

dsaG :: DSAKeyPair -> Integer

dsaPublic :: DSAKeyPair -> Integer

withDSAPtr :: DSAKeyPair -> (Ptr DSA -> IO a) -> IO a

peekDSAPtr :: Ptr DSA -> IO (Maybe DSAKeyPair)

absorbDSAPtr :: Ptr DSA -> IO (Maybe DSAKeyPair)

PKey DSAKeyPair

Defined in OpenSSL.EVP.PKey

Methods

toPKey :: DSAKeyPair -> IO VaguePKey

fromPKey :: VaguePKey -> IO (Maybe DSAKeyPair)

pkeySize :: DSAKeyPair -> Int

pkeyDefaultMD :: DSAKeyPair -> IO Digest

KeyPair DSAKeyPair

Defined in OpenSSL.EVP.PKey

Methods

fromKeyPair :: DSAKeyPair -> SomeKeyPair

toKeyPair :: SomeKeyPair -> Maybe DSAKeyPair

PublicKey DSAKeyPair

Defined in OpenSSL.EVP.PKey

Methods

fromPublicKey :: DSAKeyPair -> SomePublicKey

toPublicKey :: SomePublicKey -> Maybe DSAKeyPair

Show DSAKeyPair

Defined in OpenSSL.DSA

Methods

showsPrec :: Int -> DSAKeyPair -> ShowS

show :: DSAKeyPair -> String

showList :: [DSAKeyPair] -> ShowS

Eq DSAKeyPair

Defined in OpenSSL.DSA

Methods

(==) :: DSAKeyPair -> DSAKeyPair -> Bool

(/=) :: DSAKeyPair -> DSAKeyPair -> Bool

Ord DSAKeyPair

Defined in OpenSSL.DSA

Methods

compare :: DSAKeyPair -> DSAKeyPair -> Ordering

(<) :: DSAKeyPair -> DSAKeyPair -> Bool

(<=) :: DSAKeyPair -> DSAKeyPair -> Bool

(>) :: DSAKeyPair -> DSAKeyPair -> Bool

(>=) :: DSAKeyPair -> DSAKeyPair -> Bool

max :: DSAKeyPair -> DSAKeyPair -> DSAKeyPair

min :: DSAKeyPair -> DSAKeyPair -> DSAKeyPair

Key and parameter generation

generateDSAParameters

Arguments

:: Int

The number of bits in the generated prime: 512 <= x <= 1024

-> Maybe ByteString

optional seed, its length must be 20 bytes

-> IO (Int, Int, Integer, Integer, Integer)

(iteration count, generator count, p, q, g)

Generate DSA parameters (*not* a key, but required for a key). This is a compute intensive operation. See FIPS 186-2, app 2. This agrees with the test vectors given in FIP 186-2, app 5

generateDSAKey

Arguments

:: Integer

p

-> Integer

q

-> Integer

g

-> IO DSAKeyPair

Generate a new DSA keypair, given valid parameters

generateDSAParametersAndKey

Arguments

:: Int

The number of bits in the generated prime: 512 <= x <= 1024

-> Maybe ByteString

optional seed, its length must be 20 bytes

-> IO DSAKeyPair

A utility function to generate both the parameters and the key pair at the same time. Saves serialising and deserialising the parameters too

Signing and verification

signDigestedDataWithDSA :: DSAKeyPair -> ByteString -> IO (Integer, Integer)

Sign pre-digested data. The DSA specs call for SHA1 to be used so, if you use anything else, YMMV. Returns a pair of Integers which, together, are the signature

verifyDigestedDataWithDSA :: DSAKey k => k -> ByteString -> (Integer, Integer) -> IO Bool

Verify pre-digested data given a signature.

Extracting fields of DSA objects

dsaPrivate :: DSAKeyPair -> Integer

Return the private key x.

dsaPubKeyToTuple :: DSAKeyPair -> (Integer, Integer, Integer, Integer)

Convert a DSAPubKey object to a tuple of its members in the order p, q, g, and public.

dsaKeyPairToTuple :: DSAKeyPair -> (Integer, Integer, Integer, Integer, Integer)

Convert a DSAKeyPair object to a tuple of its members in the order p, q, g, public and private.

tupleToDSAPubKey :: (Integer, Integer, Integer, Integer) -> DSAPubKey

Convert a tuple of members (in the same format as from dsaPubKeyToTuple) into a DSAPubKey object

tupleToDSAKeyPair :: (Integer, Integer, Integer, Integer, Integer) -> DSAKeyPair

Convert a tuple of members (in the same format as from dsaPubKeyToTuple) into a DSAPubKey object