coelner/pico-hsm
1
0
Fork 0
mirror of https://github.com/polhenarejos/pico-hsm.git synced 2024-09-20 03:10:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added more tests for key_export.

Browse Source 
Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos 2023-03-13 18:03:21 +01:00
parent 9291c2b4e3
commit 7ae76354ef
No known key found for this signature in database
GPG Key ID: C0095B7870A4CCD3
2 changed files with 81 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tests/pico-hsm/test_021_key_import.py
View File

@ -42,8 +42,8 @@ def test_import_rsa(device, modulus):
keyid = device.import_key(pkey)
pubkey = device.public_key(keyid)
assert(pubkey.public_numbers() == pkey.public_key().public_numbers())
device.delete_file(DOPrefixes.KEY_PREFIX.value << 8 | keyid)
device.delete_file(DOPrefixes.EE_CERTIFICATE_PREFIX.value << 8 | keyid)
device.delete_file(DOPrefixes.KEY_PREFIX.value << 8, keyid)
device.delete_file(DOPrefixes.EE_CERTIFICATE_PREFIX.value << 8, keyid)
@pytest.mark.parametrize(
@ -54,8 +54,8 @@ def test_import_ecc(device, curve):
keyid = device.import_key(pkey)
pubkey = device.public_key(keyid, param=curve().name)
assert(pubkey.public_numbers() == pkey.public_key().public_numbers())
device.delete_file(DOPrefixes.KEY_PREFIX.value << 8 | keyid)
device.delete_file(DOPrefixes.EE_CERTIFICATE_PREFIX.value << 8 | keyid)
device.delete_file(DOPrefixes.KEY_PREFIX.value << 8, keyid)
device.delete_file(DOPrefixes.EE_CERTIFICATE_PREFIX.value << 8, keyid)
@pytest.mark.parametrize(
"size", [128, 192, 256]

79
tests/pico-hsm/test_025_key_export.py
View File

@ -19,13 +19,19 @@
import pytest
from utils import KeyType, DOPrefixes, APDUResponse, SWCodes
from binascii import hexlify
import hashlib
from const import DEFAULT_DKEK
from cryptography.hazmat.primitives import cmac
from cryptography.hazmat.primitives.ciphers import algorithms, Cipher, modes
from cryptography.hazmat.primitives.asymmetric import ec
from cryptography.hazmat.primitives import serialization
def test_initialize(device):
device.initialize(key_domains=1)
assert(device.get_key_domains() == 1)
device.set_key_domain(key_domain=0, total=1)
device.set_key_domain(key_domain=0, total=2)
keyid_in = -1
keyid_out = -1
@ -57,6 +63,75 @@ def test_export_key_in_fail(device):
def test_export_import_dkek(device):
resp = device.import_dkek(DEFAULT_DKEK, key_domain=0)
resp = device.import_dkek(DEFAULT_DKEK, key_domain=0)
def test_export_key_in_ok(device):
resp = device.export_key(2)
resp = bytes(device.export_key(keyid_in))
kcv = hashlib.sha256(b'\x00'*32).digest()[:8]
assert(kcv == resp[:8])
assert(resp[8] == 12)
assert(resp[9:21] == b"\x00\x0A\x04\x00\x7F\x00\x07\x02\x02\x02\x02\x03")
pkey = hashlib.sha256(b'\x00'*32+b'\x00\x00\x00\x02').digest()
c = cmac.CMAC(algorithms.AES(pkey))
c.update(resp[:-16])
resCMAC = c.finalize()
assert(resCMAC == resp[-16:])
def test_delete_keys_in_out(device):
device.delete_file(DOPrefixes.KEY_PREFIX.value, keyid_in)
device.delete_file(DOPrefixes.EE_CERTIFICATE_PREFIX.value, keyid_in)
device.delete_file(DOPrefixes.KEY_PREFIX.value, keyid_out)
device.delete_file(DOPrefixes.EE_CERTIFICATE_PREFIX.value, keyid_out)
def test_export_import(device):
pkey_gen = ec.generate_private_key(ec.BrainpoolP256R1())
keyid = device.import_key(pkey_gen)
resp = bytes(device.export_key(keyid))
kcv = hashlib.sha256(b'\x00'*32).digest()[:8]
assert(kcv == resp[:8])
assert(resp[8] == 12)
assert(resp[9:21] == b"\x00\x0A\x04\x00\x7F\x00\x07\x02\x02\x02\x02\x03")
pkey = hashlib.sha256(b'\x00'*32+b'\x00\x00\x00\x02').digest()
c = cmac.CMAC(algorithms.AES(pkey))
c.update(resp[:-16])
resCMAC = c.finalize()
assert(resCMAC == resp[-16:])
iv = b'\x00'*16
pkey = hashlib.sha256(b'\x00'*32+b'\x00\x00\x00\x01').digest()
cipher = Cipher(algorithms.AES(pkey), modes.CBC(iv))
decryptor = cipher.decryptor()
payload = decryptor.update(resp[27:-16]) + decryptor.finalize()
rnd = payload[:8]
ofs = 8
key_size = int.from_bytes(payload[ofs:ofs+2], 'big')
ofs += 2
A_len = int.from_bytes(payload[ofs:ofs+2], 'big')
ofs += 2+A_len
B_len = int.from_bytes(payload[ofs:ofs+2], 'big')
ofs += 2+B_len
P_len = int.from_bytes(payload[ofs:ofs+2], 'big')
ofs += 2+P_len
N_len = int.from_bytes(payload[ofs:ofs+2], 'big')
ofs += 2+N_len
G_len = int.from_bytes(payload[ofs:ofs+2], 'big')
ofs += 2+G_len
d_len = int.from_bytes(payload[ofs:ofs+2], 'big')
ofs += 2
d = payload[ofs:ofs+d_len]
ofs += d_len
Q_len = int.from_bytes(payload[ofs:ofs+2], 'big')
ofs += 2
Q = payload[ofs:ofs+Q_len]
ofs += Q_len
pkey_ex = ec.EllipticCurvePrivateNumbers(int.from_bytes(d, 'big'), ec.EllipticCurvePublicKey.from_encoded_point(ec.BrainpoolP256R1(), Q).public_numbers()).private_key()
assert(pkey_gen.private_bytes(serialization.Encoding.DER, serialization.PrivateFormat.PKCS8, serialization.NoEncryption()) == pkey_ex.private_bytes(serialization.Encoding.DER, serialization.PrivateFormat.PKCS8, serialization.NoEncryption()))
assert(pkey_gen.public_key().public_bytes(serialization.Encoding.X962, serialization.PublicFormat.UncompressedPoint) == pkey_ex.public_key().public_bytes(serialization.Encoding.X962, serialization.PublicFormat.UncompressedPoint))
device.delete_file(DOPrefixes.KEY_PREFIX.value, keyid)
device.delete_file(DOPrefixes.EE_CERTIFICATE_PREFIX.value, keyid)