automotive-cse-0.1.0.0: Automotive CSE emulation

Safe HaskellNone
LanguageHaskell2010

Codec.Automotive.CSE

Documentation

data M1 Source

Instances

unM1 :: M1 -> ByteString Source

makeM1 Source

Arguments

:: UID

UID - 15 octet

-> Word8

Key ID - 4 bit

-> Word8

Auth key ID - 4 bit

-> M1 

extractM1 :: M1 -> (UID, Word8, Word8) Source

data M2 Source

Instances

unM2 :: M2 -> ByteString Source

makeM2 Source

Arguments

:: K1

K1 value

-> Word32

Counter - 28 bit

-> Word8

Key Flag - 6 bit

-> KeyAuthUse NotAuth

Key Data for AES128

-> M2 

data M3 Source

Instances

unM3 :: M3 -> ByteString Source

makeM3 :: K2 -> M1 -> M2 -> M3 Source

data M4 Source

Instances

unM4 :: M4 -> ByteString Source

makeM4 :: K3 -> UID -> Word8 -> Word8 -> Word32 -> M4 Source

extractM4 :: K3 -> M4 -> ((UID, Word8, Word8), Word32) Source

makeM4' :: K3 -> M1 -> Word32 -> M4 Source

extractM4' :: K3 -> M4 -> (M1, Word32) Source

data M5 Source

Instances

unM5 :: M5 -> ByteString Source

makeM5 :: K4 -> M4 -> M5 Source

type K1 = DerivedCipher Auth Enc Source

type K1' = Derived Auth Enc Source

makeK1 Source

Arguments

:: KeyAuthUse Auth

AuthKey Data

-> K1'

Result Hash value

type K2 = DerivedCipher Auth Mac Source

type K2' = Derived Auth Mac Source

makeK2 Source

Arguments

:: KeyAuthUse Auth

AuthKey Data

-> K2'

Result Hash value

type K3 = DerivedCipher NotAuth Enc Source

type K3' = Derived NotAuth Enc Source

makeK3 Source

Arguments

:: KeyAuthUse NotAuth

Key Data

-> K3'

Result Hash value

type K4 = DerivedCipher NotAuth Mac Source

type K4' = Derived NotAuth Mac Source

makeK4 Source

Arguments

:: KeyAuthUse NotAuth

Key Data

-> K4'

Result Hash value

data UID Source

Instances

unUID :: UID -> ByteString Source

makeUID :: MonadPlus m => ByteString -> m UID Source

data Derived k c Source

Instances

unDerived :: Derived k c -> ByteString Source

kdf :: KeyAuthUse k -> UpdateC c -> Derived k c Source

keyUpdateEncC :: UpdateC Enc Source

keyUpdateMacC :: UpdateC Mac Source

data DerivedCipher k c Source

derivedCipher :: Derived k c -> DerivedCipher k c Source

data KeyAuthUse k Source

Instances

data Auth Source

data NotAuth Source

makeKeyAuthUse :: MonadPlus m => ByteString -> m (KeyAuthUse k) Source

unKeyAuthUse :: KeyAuthUse k -> ByteString Source

data UpdateC c Source

Instances

data Enc Source

data Mac Source