¿Existen metatatos / formatos de esquemas (adecuadamente especificados) para describir estructuras de mensajes criptográficos?
Estoy buscando una manera de describir el formato (donde algunos canales pueden desear codificación o firmas simétricas / asimétricas) que no es solo "Esto usa el esquema n.º 5: consulte la documentación para obtener más información".
Tenerlo en un lugar legible por computadora me permitiría hacer algunos retoques divertidos, como deducir programáticamente qué información debe compartirse previamente para que el esquema funcione, deducir qué partes del mensaje tienen integridad, generar un informe de las propiedades del esquema. (incluidos los errores debidos a un relleno insuficiente, etc.), pero también me parece más agradable tener un lenguaje para expresar las cosas.
Como ejemplos ilustrativos (¡no de sintaxis real!), algo como:
-
random-iv[128] + CTR[AES](shared-secret[256], iv, message)- IV, seguido de un mensaje codificado AES-256-CTR (secreto compartido no especificado) -
message + your-key[2048].public + RSA[DECODE](your-key[2048], random-padding[256] + SHA256(message))- mensaje seguido de clave pública y firma RSA del hash SHA-256 -
HMAC[SHA256]({0x123456...}, message) + message- HMAC primero (secreto como literal), concatenado con el mensaje -
RSA[ENCODE]({0x...my-key-literal}, random-iv[128] + random-key[256]) + CTR[AES](random-key[256], random-iv[128], message): especifique mi clave de cifrado y use AES-256 para el mensaje con clave aleatoria
Si no hubiera ningún valor codificado (por ejemplo, el secreto HMAC no era un literal), entonces describiría el esquema genérico.
Con valores codificados, puede describir los datos esperados en un canal en particular e incluso verificar que se trata de un subconjunto del esquema genérico.
Esto es ligeramente análogo a cosas como ASN.1 para datos estructurados (lo que te permite describir la estructura interna de un flujo binario, e incluso la disposición a nivel de bits cuando se combina con algo como PER), pero posiblemente más como una ecuación / funcional -expresión, con primitivas criptográficas e incógnitas, etc.
Parece que debería ser posible, pero no pude encontrar nada. ¿Existen meta-formatos para esto para criptografía?