Codec.Automotive.CSE

Documentation

data M1

Instances

Eq M1

Methods

(==) :: M1 -> M1 -> Bool

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

Show M1

Methods

showsPrec :: Int -> M1 -> ShowS

show :: M1 -> String

showList :: [M1] -> ShowS

unM1 :: M1 -> ByteString

makeM1

Arguments

:: UID

UID - 15 octet

-> Word8

Key ID - 4 bit

-> Word8

Auth key ID - 4 bit

-> M1

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

data M2

Instances

Eq M2

Methods

(==) :: M2 -> M2 -> Bool

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

Show M2

Methods

showsPrec :: Int -> M2 -> ShowS

show :: M2 -> String

showList :: [M2] -> ShowS

unM2 :: M2 -> ByteString

makeM2

Arguments

:: K1

K1 value

-> Word32

Counter - 28 bit

-> Word8

Key Flag - 6 bit

-> KeyAuthUse NotAuth

Key Data for AES128

-> M2

data M3

Instances

Eq M3

Methods

(==) :: M3 -> M3 -> Bool

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

Show M3

Methods

showsPrec :: Int -> M3 -> ShowS

show :: M3 -> String

showList :: [M3] -> ShowS

unM3 :: M3 -> ByteString

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

data M4

Instances

Eq M4

Methods

(==) :: M4 -> M4 -> Bool

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

Show M4

Methods

showsPrec :: Int -> M4 -> ShowS

show :: M4 -> String

showList :: [M4] -> ShowS

unM4 :: M4 -> ByteString

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

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

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

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

data M5

Instances

Eq M5

Methods

(==) :: M5 -> M5 -> Bool

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

Show M5

Methods

showsPrec :: Int -> M5 -> ShowS

show :: M5 -> String

showList :: [M5] -> ShowS

unM5 :: M5 -> ByteString

makeM5 :: K4 -> M4 -> M5

type K1 = DerivedCipher Auth Enc

type K1' = Derived Auth Enc

makeK1

Arguments

:: KeyAuthUse Auth

AuthKey Data

-> K1'

Result Hash value

type K2 = DerivedCipher Auth Mac

type K2' = Derived Auth Mac

makeK2

Arguments

:: KeyAuthUse Auth

AuthKey Data

-> K2'

Result Hash value

type K3 = DerivedCipher NotAuth Enc

type K3' = Derived NotAuth Enc

makeK3

Arguments

:: KeyAuthUse NotAuth

Key Data

-> K3'

Result Hash value

type K4 = DerivedCipher NotAuth Mac

type K4' = Derived NotAuth Mac

makeK4

Arguments

:: KeyAuthUse NotAuth

Key Data

-> K4'

Result Hash value

data UID

Instances

Eq UID

Methods

(==) :: UID -> UID -> Bool

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

Ord UID

Methods

compare :: UID -> UID -> Ordering

(<) :: UID -> UID -> Bool

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

(>) :: UID -> UID -> Bool

(>=) :: UID -> UID -> Bool

max :: UID -> UID -> UID

min :: UID -> UID -> UID

Show UID

Methods

showsPrec :: Int -> UID -> ShowS

show :: UID -> String

showList :: [UID] -> ShowS

unUID :: UID -> ByteString

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

data Derived k c

Instances

Eq (Derived k c)

Methods

(==) :: Derived k c -> Derived k c -> Bool

(/=) :: Derived k c -> Derived k c -> Bool

Show (Derived k c)

Methods

showsPrec :: Int -> Derived k c -> ShowS

show :: Derived k c -> String

showList :: [Derived k c] -> ShowS

unDerived :: Derived k c -> ByteString

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

keyUpdateEncC :: UpdateC Enc

keyUpdateMacC :: UpdateC Mac

data DerivedCipher k c

derivedCipher :: Derived k c -> DerivedCipher k c

data KeyAuthUse k

Instances

Eq (KeyAuthUse k)

Methods

(==) :: KeyAuthUse k -> KeyAuthUse k -> Bool

(/=) :: KeyAuthUse k -> KeyAuthUse k -> Bool

data Auth

data NotAuth

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

unKeyAuthUse :: KeyAuthUse k -> ByteString

data UpdateC c

Instances

Eq (UpdateC c)

Methods

(==) :: UpdateC c -> UpdateC c -> Bool

(/=) :: UpdateC c -> UpdateC c -> Bool

Show (UpdateC c)

Methods

showsPrec :: Int -> UpdateC c -> ShowS

show :: UpdateC c -> String

showList :: [UpdateC c] -> ShowS

data Enc

data Mac