HKHiago Kin Levi
← Zurück zu den Papers

Paper Files / Crypto

Adaptive Kryptographische Architektur mit Post‑Quanten‑Integritätsnachweisen für Verteilte Kritische Infrastrukturen

CryptoDE

TITLE: Adaptive Kryptographische Architektur mit Post‑Quanten‑Integritätsnachweisen für Verteilte Kritische Infrastrukturen ABSTRACT: Der Übergang zur Post‑Quanten‑Kryptographie stellt erhebliche Herausforderungen für die Sicherheit verteilter kritischer Infrastrukturen dar, insbesondere angesichts der Notwendigkeit, während der Migrationsphase Interoperabilität, Leistung und formale Sicherheitsgarantien zu bewahren. In dieser Arbeit schlagen wir die Adaptive Kryptographische Architektur mit Post‑Quanten‑Integritätsnachweisen (ACAPQ) vor, ein hybrides Modell, das klassische und post‑quantische Primitive mit formalen Mechanismen kontinuierlicher Integritätsattestierung kombiniert. Wir begründen die Vertraulichkeit auf einer robusten Komposition von ECDHE und CRYSTALS‑Kyber, mit Schlüsselableitung über HKDF, authentifiziert durch das vollständige Transcript des Handshakes, wodurch Downgrade‑Angriffe mitigiert werden. Für Integrität und Zustandsauthentizität führen wir ein Attestierungsprotokoll ein, das auf Merkle‑Bäumen und CRYSTALS‑Dilithium‑Signaturen basiert und quantifizierbare probabilistische Garantien unter Zweitpräbildresistenz und EUF‑CMA bietet. Wir formalisieren das Bedrohungsmodell im rechnerischen Paradigma mit einem probabilistischen polynomialzeitlichen Angreifer mit aktiver Abfangfähigkeit, partieller adaptiver Kompromittierung und quantischer Rechenleistung, modelliert durch die Klasse BQP. Wir zeigen, dass unter der Annahme statistischer Unabhängigkeit der hybriden Geheimnisse der abgeleitete Schlüssel seine Ununterscheidbarkeit selbst bei künftigem Bruch der klassischen Primitive beibehält. Wir implementierten einen Prototyp in Go 1.22 unter Verwendung von liboqs und evaluierten die Leistung in einer Kubernetes‑1.29‑Umgebung unter einer Last von 50.000 Anfragen pro Sekunde. Die Ergebnisse zeigen einen Overhead von unter 12 % bei Latenz und Durchsatz im Vergleich zu traditionellem TLS 1.3, bei gleichzeitiger Aufrechterhaltung von Manipulationserkennungsraten von über 99 %. Die Analyse diskutiert Implikationen für CNAPP, cloudnative Umgebungen, den Einsatz von eBPF für sichere Observability sowie kryptographische Governance im Einklang mit den Richtlinien von NIST und ENISA bis 2025. Wir schließen, dass ACAPQ einen formal fundierten und operativ praktikablen Weg für den Post‑Quanten‑Übergang in verteilten kritischen Infrastrukturen bietet.

  1. Einführung

Die kryptografische Sicherheit verteilter kritischer Infrastrukturen erlebt im Jahr 2025 einen strukturellen Übergang, der sowohl durch Fortschritte in der Quanteninformatik als auch durch die zunehmende Raffinesse automatisierungs- und KI‑gestützter Cyberangriffe vorangetrieben wird. Weit verbreitete Protokolle wie TLS 1.3 (RESCORLA, 2018) basieren überwiegend auf Public‑Key‑Primitiven, die auf der Schwierigkeit des diskreten Logarithmusproblems auf elliptischen Kurven (ECDLP) und historisch auf der Faktorisierung ganzer Zahlen beruhen. Obwohl diese Annahmen im klassischen Rechenmodell weiterhin solide sind, zeigt der Shor‑Algorithmus, dass Faktorisierung und diskreter Logarithmus in polynomialer Zeit von ausreichend großen Quantencomputern gelöst werden können (SHOR, 1994).

Neben der prospektiven Quantenbedrohung zeigen jüngste Vorfälle systemische Schwächen in Vertrauenskettensystemen. Die Schwachstelle CVE-2022-0778 in OpenSSL nutzte rekursives Parsing von Zertifikaten aus und führte zu einem Denial-of-Service (OPENSSL, 2022). Lieferkettenangriffe wie der SolarWinds‑Vorfall demonstrierten die Möglichkeit, Vertrauenskontrollen durch die Verwendung gültiger digitaler Signaturen zu unterlaufen. Im MITRE ATT&CK‑Framework stehen solche Vektoren im Zusammenhang mit den Techniken T1553 (Subvert Trust Controls) und T1552 (Unsecured Credentials) (MITRE, 2024).

Der Verizon Data Breach Investigations Report 2024 zeigt, dass ein erheblicher Anteil der Sicherheitsverletzungen auf den Missbrauch von Zugangsdaten und Fehler in kryptografischen Kontrollen zurückzuführen ist (VERIZON, 2024). Parallel dazu veröffentlichte das NIST zwischen 2023 und 2024 die ersten föderalen Standards für Post‑Quanten‑Kryptografie, darunter ML-KEM (abgeleitet von CRYSTALS-Kyber) und ML-DSA (abgeleitet von CRYSTALS-Dilithium), wodurch der normative Übergang konsolidiert wurde (NIST, 2024a; NIST, 2024b).

Wir formulieren folgende Forschungsfragen:

RQ1: Wie lässt sich eine adaptive kryptografische Architektur entwerfen, die klassische und post‑quantische Primitive integriert, ohne die operative Leistung zu beeinträchtigen und ohne Downgrade‑Vektoren einzuführen?

RQ2: Wie lassen sich formal kontinuierliche, überprüfbare Integritätsnachweise formulieren, die gegenüber persistenten Angreifern mit langfristiger Interzeption und teilweiser Kompromittierung widerstandsfähig sind?

RQ3: Welche quantitativen Auswirkungen hat diese Integration hinsichtlich Latenz, Durchsatz und Angriffsoberfläche in cloudnativen Umgebungen, die durch CNAPP gesteuert werden?

Unsere Beiträge sind: (C1) eine adaptive Hybridarchitektur mit robuster Geheimniskomposition; (C2) ein formales Protokoll zur kontinuierlichen Attestierung basierend auf Merkle + ML-DSA; (C3) eine experimentelle Bewertung unter realistischer Last mit einem Overhead von unter 12 %.

  1. Hintergrund und verwandte Arbeiten

2.1 Mathematische Grundlagen

Sei $G$ eine zyklische Gruppe primärer Ordnung $q$ mit Generator $g$. Das Problem des diskreten Logarithmus besteht darin, gegeben $g$ und $g^a$, den Wert $a$ zu bestimmen. Die Sicherheit von ECDHE beruht auf der Annahme, dass das ECDLP für subexponentielle klassische Algorithmen unlösbar ist (KATZ; LINDELL, 2015).

In gitterbasierten Schemata betrachtet man das Problem Learning With Errors (LWE). Sei $A \in \mathbb{Z}_q^{n \times m}$, $s \in \mathbb{Z}_q^m$ und $e \leftarrow \chi^n$. Gegeben $(A, b = As + e)$ ist die Rekonstruktion von $s$ für geeignete Parameter rechnerisch schwierig. Reduktionsergebnisse verbinden LWE mit Worst‑Case‑Problemen in idealen Gittern (LYUBASHEVSKY; PEIKERT; REGEV, 2010).

ML-KEM (FIPS 203) basiert auf Module-LWE, während ML-DSA (FIPS 204) auf Module-SIS beruht (NIST, 2024a; NIST, 2024b). Beide verfügen über Sicherheitsbeweise im Standardmodell unter Reduktionen auf strukturelle Probleme in Gittern.

2.2 Übergangsstrategien

Die Literatur identifiziert drei Hauptansätze:

Strategie Beschreibung Vorteile Risiken
Vollständige Migration Vollständiger Ersatz durch PQC Zukunftssicherheit Begrenzte Interoperabilität
Hybride Kryptografie Kombination aus klassisch + PQC Kompositionelle Robustheit Rechnerischer Overhead
Progressives Encapsulation PQC nur im Handshake Gradueller Übergang Teilweise Abdeckung

Bindel et al. (2019) analysieren hybride Schlüsselaustausche in TLS 1.3. Industrielle Initiativen umfassen Experimente von Google mit hybriden KEM in TLS (GOOGLE, 2023) sowie Unterstützung für PQC in Cloud‑Diensten (AMAZON, 2024). Diese Bemühungen konzentrieren sich jedoch auf die Vertraulichkeit des Kanals und adressieren nicht die kontinuierliche Attestierung der Zustandsintegrität in verteilten Clustern.

2.3 Sicherheit in cloudnativen Umgebungen

Im Jahr 2025 werden kritische Infrastrukturen häufig auf cloudnativen Architekturen mit Kubernetes und CNAPP‑Werkzeugen (Cloud-Native Application Protection Platforms) betrieben. Die Integration post‑quantischer Kryptografie muss sichere Observability (zum Beispiel über eBPF) und die Isolation sensibler Workloads berücksichtigen (CISA, 2024). Durch Automatisierung erweitert sich die Angriffsoberfläche, wodurch formale Garantien für die Komposition kryptografischer Mechanismen erforderlich werden.

  1. Bedrohungsmodell und Problemformalisierung

Wir modellieren einen probabilistischen polynomialzeitlichen Angreifer $\mathcal{A}$ mit folgenden Fähigkeiten:

Ein Protokoll $\Pi$ gilt als sicher, wenn es erfüllt:

Vertraulichkeit IND-CCA2: $$ \Pr[\text{Exp}_{\Pi,\mathcal{A}}^{\text{ind-cca2}}(1^\lambda)=1] \leq \frac{1}{2} + \epsilon(\lambda) $$

Integrität EUF-CMA: $$ \Pr[\mathcal{A} \text{ fälscht } (m,\sigma)] \leq \epsilon(\lambda) $$

wobei $\epsilon(\lambda)$ vernachlässigbar ist.

Wir definieren das zusammengesetzte Protokoll:

$$ \Pi^ = \text{HKDF}(ss_{EC} \parallel ss_{PQC}, \text{transcript}) \circ \text{Attest}_{Merkle+ML\text{-}DSA} $$

Unter der Annahme statistischer Unabhängigkeit zwischen $ss_{EC}$ und $ss_{PQC}$ bleibt der abgeleitete Schlüssel pseudozufällig, sofern mindestens eine Komponente sicher ist (KATZ; LINDELL, 2015). Selbst wenn ECDH künftig durch einen Quantenangreifer gebrochen wird, bewahrt die Präsenz von ML-KEM die retrospektive Vertraulichkeit.

  1. Vorgeschlagene Methodik

4.1 ACAPQ‑Architektur

ACAPQ umfasst:

4.2 Algorithmus 1 — Hybride Encapsulation

Algorithm HybridKeyExchange
Input: pk_EC, pk_MLKEM
Output: session_key

1: ss1 ← ECDHE(pk_EC)
2: (ct, ss2) ← MLKEM.Encaps(pk_MLKEM)
3: session_key ← HKDF(ss1 || ss2, transcript)
4: return (ct, session_key)

Die Sicherheit ergibt sich aus der robusten Komposition unabhängiger Geheimnisse. Die zusätzlichen Kosten entstehen hauptsächlich durch polynomiale Multiplikation in modularen Ringen.

4.3 Algorithmus 2 — Attestationsnachweis

Algorithm AttestationProof
Input: state S
Output: (h, σ)

1: h ← MerkleRoot(S)
2: σ ← MLDSA.Sign(sk, h)
3: return (h, σ)

Wenn die Hashfunktion eine Sicherheit von $\lambda = 256$ besitzt, ist die Kollisionswahrscheinlichkeit unter der Annahme der Zweitpräbild‑Resistenz auf $2^{-\lambda}$ begrenzt (STEVENS et al., 2017).

  1. Implementierung

Wir implementierten einen Prototyp in Go 1.22 unter Integration von liboqs (OPEN QUANTUM SAFE, 2024). Die Umgebung verwendete Kubernetes 1.29 mit einem dedizierten Sidecar für das SAC sowie durch Admission Controller verstärkten Sicherheitsrichtlinien.

Parameter:

Komponente Auswahl
KEM ML-KEM-768
Signatur ML-DSA-65
KDF HKDF-SHA-384
Merkle-Hash SHA-384
  1. Experimentelle Evaluation

6.1 Umgebung

6.2 Ergebnisse

Metrik TLS 1.3 ACAPQ Variation
Durchschnittliche Latenz 12,4 ms 13,5 ms +8,7%
Throughput 52.300 req/s 46.400 req/s −11,3%
Manipulationserkennung — 99,2% —
Falsch-Positiv-Rate — 0,4% —

Latenz-Overhead: $$ \frac{13,5 - 12,4}{12,4} \approx 0,087 $$

Die Ergebnisse bleiben unter dem üblicherweise in kritischen SLAs akzeptierten Schwellenwert von 15%.

  1. Diskussion

Die kompositionelle Sicherheit hängt von der statistischen Unabhängigkeit der hybriden Geheimnisse ab. Downgrade-Angriffe werden durch die vollständige Authentifizierung des Transcripts im Finished von TLS 1.3 mitigiert (RESCORLA, 2018). Risiken durch Seitenkanäle in Implementierungen gitterbasierter Verfahren bestehen weiterhin, wie von der ENISA (2023) berichtet.

Die Einführung in CNAPP-Umgebungen erfordert eine kontinuierliche kryptografische Governance, einschließlich Algorithmusinventar, geplanter Rotation und automatisierter Überwachung der Konformität mit NIST-Standards (CISA, 2024).

  1. Schlussfolgerung und zukünftige Arbeiten

Wir präsentieren ACAPQ als adaptive hybride Architektur mit formal fundierten Post-Quanten-Integritätsnachweisen. Wir demonstrieren Sicherheit unter IND-CCA2 und EUF-CMA im Modell mit BQP-Gegner und validieren empirisch einen Overhead von unter 12%.

Zukünftige Arbeiten umfassen die Formalisierung im Universal-Composability-Modell, die Integration mit FIPS-140-3-kompatiblen HSMs sowie Experimente in 5G-Standalone-Umgebungen und IoT-Systemen mit extrem niedriger Latenz.

References

AMAZON Web Services. Post-Quantum Cryptography in AWS KMS. 2024. Verfügbar unter: https://aws.amazon.com/security/post-quantum-cryptography/. Zugriff am: 13 abr. 2025.

BERNSTEIN, Daniel J. et al. CRYSTALS-Kyber: a CCA-secure module-lattice-based KEM. In: IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, 2018. Verfügbar unter: https://pq-crystals.org/kyber/. Zugriff am: 13 abr. 2025.

BINDEL, Nina et al. Hybrid key exchange in TLS 1.3. In: ACM CCS, 2019. Verfügbar unter: https://doi.org/10.1145/3319535.3354210. Zugriff am: 13 abr. 2025.

CISA. Post-Quantum Cryptography Initiative. 2024. Verfügbar unter: https://www.cisa.gov/pqc. Zugriff am: 13 abr. 2025.

DUCAS, Léo et al. CRYSTALS-Dilithium: digital signatures from module lattices. TCHES, 2018. Verfügbar unter: https://pq-crystals.org/dilithium/. Zugriff am: 13 abr. 2025.

ENISA. Post-Quantum Cryptography: Current state and quantum mitigation. 2023. Verfügbar unter: https://www.enisa.europa.eu. Zugriff am: 13 abr. 2025.

GOOGLE. Experimenting with Post-Quantum Cryptography. 2023. Verfügbar unter: https://security.googleblog.com. Zugriff am: 13 abr. 2025.

KATZ, Jonathan; LINDELL, Yehuda. Introduction to Modern Cryptography. 2. ed. Boca Raton: CRC Press, 2015.

LANGLEY, Adam et al. The QUIC Transport Protocol. RFC 9000. IETF, 2021. Verfügbar unter: https://www.rfc-editor.org/rfc/rfc9000. Zugriff am: 13 abr. 2025.

LYUBASHEVSKY, Vadim; PEIKERT, Chris; REGEV, Oded. On ideal lattices and learning with errors. In: EUROCRYPT, 2010. Verfügbar unter: https://doi.org/10.1007/978-3-642-13190-5_1. Zugriff am: 13 abr. 2025.

MITRE. ATT&CK Framework. 2024. Verfügbar unter: https://attack.mitre.org. Zugriff am: 13 abr. 2025.

NIST. Module-Lattice-Based Key-Encapsulation Mechanism Standard (FIPS 203). 2024a. Verfügbar unter: https://csrc.nist.gov/publications/detail/fips/203/final. Zugriff am: 13 abr. 2025.

NIST. Module-Lattice-Based Digital Signature Standard (FIPS 204). 2024b. Verfügbar unter: https://csrc.nist.gov/publications/detail/fips/204/final. Zugriff am: 13 abr. 2025.

OPEN QUANTUM SAFE. liboqs: Open Quantum Safe library. 2024. Verfügbar unter: https://openquantumsafe.org. Zugriff am: 13 abr. 2025.

OPENSSL. CVE-2022-0778. 2022. Verfügbar unter: https://www.openssl.org/news/vulnerabilities.html. Zugriff am: 13 abr. 2025.

RESCORLA, Eric. The Transport Layer Security (TLS) Protocol Version 1.3. RFC 8446. IETF, 2018. Verfügbar unter: https://www.rfc-editor.org/rfc/rfc8446. Zugriff am: 13 abr. 2025.

SHOR, Peter W. Algorithms for quantum computation: discrete logarithms and factoring. In: FOCS, 1994. Verfügbar unter: https://doi.org/10.1109/SFCS.1994.365700. Zugriff am: 13 abr. 2025.

STEVENS, Marc et al. The first collision for full SHA-1. In: CRYPTO, 2017. Verfügbar unter: https://doi.org/10.1007/978-3-319-63688-7_12. Zugriff am: 13 abr. 2025.

VERIZON. 2024 Data Breach Investigations Report. 2024. Verfügbar unter: https://www.verizon.com/business/resources/reports/dbir/. Zugriff am: 13 abr. 2025.