TITEL: Adaptative kryptografische Architektur mit postquanten-sicheren Integritätsbeweisen für verteilte kritische Infrastrukturen

1. Einleitung

Die kryptographische Sicherheit verteilter kritischer Infrastrukturen steht im Jahr 2025 vor einem strukturellen Wandel, der sowohl durch Fortschritte im Quantencomputing als auch durch die zunehmende Raffinesse von cyber­technischen Angriffen getrieben wird, die auf Automatisierung und künstlicher Intelligenz basieren. Weit verbreitet eingesetzte Protokolle wie TLS 1.3 (RESCORLA, 2018) beruhen überwiegend auf Public-Key-Primitiven, die auf der Schwierigkeit des Problems des diskreten Logarithmus auf elliptischen Kurven (ECDLP) und historisch auf der Faktorisierung von ganzen Zahlen basieren. Obwohl diese Annahmen im klassischen Rechenmodell weiterhin solide sind, zeigt der Shor-Algorithmus, dass Faktorisierung und diskreter Logarithmus von ausreichend großen Quantencomputern in polynomieller Zeit gelöst werden können (SHOR, 1994).

Neben der prospektiven Quantenbedrohung belegen jüngste Vorfälle systemische Schwachstellen in Vertrauenskette(n). Die Schwachstelle CVE-2022-0778 in OpenSSL nutzte rekursives Parsing von Zertifikaten aus und führte zu einer Denial-of-Service-Situation (OPENSSL, 2022). Angriffe auf die Lieferkette, wie der SolarWinds-Vorfall, demonstrierten die Möglichkeit der Unterwanderung von Vertrauenskontrollen durch die Verwendung gültiger digitaler Signaturen. Im MITRE-ATT&CK-Framework stehen solche Vektoren in 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 Verstöße den Missbrauch von Zugangsdaten und Schwächen in kryptographischen Kontrollen umfasst (VERIZON, 2024). Parallel dazu veröffentlichte das NIST in den Jahren 2023 und 2024 die ersten föderalen Standards für Post-Quanten-Kryptographie, darunter ML-KEM (abgeleitet von CRYSTALS-Kyber) und ML-DSA (abgeleitet von CRYSTALS-Dilithium), und konsolidierte damit den normativen Übergang (NIST, 2024a; NIST, 2024b).

Wir formulieren die folgenden Forschungsfragen:

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

RQ2: Wie lassen sich kontinuierlich verifizierbare Integritätsnachweise formal spezifizieren, die persistenten Angreifern mit lang anhaltender Interzeption und teilweiser Kompromittierung standhalten?

RQ3: Welchen quantitativen Einfluss hat diese Integration in Bezug auf Latenz, Durchsatz und Angriffsfläche in CNAPP-gesteuerten Cloud-nativen Umgebungen?

Wir leisten folgende Beiträge: (C1) adaptive hybride Architektur mit robuster Geheimniskomposition; (C2) formales Protokoll für kontinuierliche Beglaubigung auf Basis von Merkle + ML-DSA; (C3) experimentelle Bewertung unter realistischer Last mit einem Overhead von weniger als 12%.

2. Hintergrund und verwandte Arbeiten

2.1 Mathematische Grundlagen

Sei $G$ eine zyklische Gruppe primen Ordnung $q$ mit Erzeuger $g$. Das Problem des diskreten Logarithmus besteht darin, gegeben $g$ und $g^a$, den Wert von $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 auf Gittern basierenden Verfahren betrachtet man das Learning-With-Errors-(LWE)-Problem. 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. Reduktionsresultate verknüpfen LWE mit Worst-Case-Problemen auf 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 besitzen 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 Kryptographie	Klassisch + PQC kombiniert	Kompositorische Robustheit	Rechen-Overhead
Fortschreitende Einkapselung	PQC nur im Handshake	Gradueller Übergang	Partielle Abdeckung

Bindel et al. (2019) analysieren hybride Schlüsselaustausche in TLS 1.3. Zu den industriellen Initiativen zählen Experimente von Google mit hybridem 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 behandeln keine kontinuierliche Integritätsbeglaubigung des Zustands in verteilten Clustern.

2.3 Sicherheit in Cloud-nativen Umgebungen

Im Jahr 2025 betreiben kritische Infrastrukturen häufig Cloud-native Architekturen mit Kubernetes und CNAPP-Werkzeugen (Cloud-Native Application Protection Platforms). Die Integration post-quanten-sicherer Kryptographie muss sichere Observability (beispielsweise via eBPF) und die Isolierung sensibler Lasten berücksichtigen (CISA, 2024). Die Angriffsfläche vergrößert sich durch Automatisierung und erfordert formale Garantien für die kryptographische Komposition.

3. Bedrohungsmodell und Problemformalisierung

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

• Aktive Interzeption (computationales Dolev-Yao-Modell).
• Adaptive Kompromittierung eines Teilsets von Knoten.
• Unbefristete Speicherung für spätere Entschlüsselung.
• Quantenmacht, modelliert durch die Klasse BQP.

Ein Protokoll $\Pi$ ist sicher, wenn es Folgendes 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{ forge } (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 pseudorandom, sofern mindestens eine Komponente sicher ist (KATZ; LINDELL, 2015). Somit bleibt selbst dann die rückwirkende Vertraulichkeit gewahrt, wenn ECDH künftig durch einen Quantenangreifer gebrochen wird, solange ML-KEM vorhanden ist.

4. Vorgeschlagene Methodik

4.1 ACAPQ-Architektur

ACAPQ umfasst:

• Adaptives Aushandlungsmodul (MNA): Erweiterung von TLS 1.3 mit hybriden Gruppen und Authentifizierung des vollständigen Transkripts.
• Hybrider Schlüssel-Einkapsler (EHC).
• System zur kryptographischen Beglaubigung (SAC).
• Schicht für sichere Observability: Monitoring via eBPF mit signierter Erfassung von Metriken.

4.2 Algorithmus 1 — Hybride Einkapselung

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ätzliche Kostenlast resultiert hauptsächlich aus der polynomialen Multiplikation in modularen Ringen.

4.3 Algorithmus 2 — Beglaubigungsnachweis

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

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

Wenn die Hash-Funktion die Sicherheit $\lambda = 256$ besitzt, ist die Kollisionswahrscheinlichkeit unter der Annahme von Zweitpräimagesicherheit auf $2^{-\lambda}$ beschränkt (STEVENS et al., 2017).

5. Implementierung

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

Parameter:

Komponente	Auswahl
KEM	ML-KEM-768
Signatur	ML-DSA-65
KDF	HKDF-SHA-384
Merkle-Hash	SHA-384

6. Experimentelle Auswertung

6.1 Umgebung

• 32 vCPUs, 128 GB RAM
• 50.000 req/s via wrk2
• Baseline: TLS 1.3 (ECDHE + RSA-3072)

6.2 Ergebnisse

Metrik	TLS 1.3	ACAPQ	Variation
Durchschnittliche Latenz	12,4 ms	13,5 ms	+8,7%
Durchsatz	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 der in kritischen SLAs üblicherweise akzeptierten Schwelle von 15%.

7. Diskussion

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

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

8. Schlussfolgerung und zukünftige Arbeiten

Wir stellten ACAPQ als adaptive hybride Architektur mit formal begründeten post-quanten-sicheren Integritätsnachweisen vor. Wir zeigten Sicherheit unter IND-CCA2 und EUF-CMA im Modell mit BQP-Angreifer und validierten empirisch einen Overhead von weniger als 12%.

Zukünftige Arbeiten umfassen die Formalisierung im Modell der Universal Composability, die Integration mit FIPS-140-3-konformen HSMs sowie Experimente in 5G-Standalone- und Ultra-Low-Latency-IoT-Umgebungen.

References

AMAZON Web Services. Post-Quantum Cryptography in AWS KMS. 2024. Available at: https://aws.amazon.com/security/post-quantum-cryptography/. Accessed on: 13 Apr. 2025.

BERNSTEIN, Daniel J. et al. CRYSTALS-Kyber: a CCA-secure module-lattice-based KEM. In: IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, 2018. Available at: https://pq-crystals.org/kyber/. Accessed on: 13 Apr. 2025.

BINDEL, Nina et al. Hybrid key exchange in TLS 1.3. In: ACM CCS, 2019. Available at: https://doi.org/10.1145/3319535.3354210. Accessed on: 13 Apr. 2025.

CISA. Post-Quantum Cryptography Initiative. 2024. Available at: https://www.cisa.gov/pqc. Accessed on: 13 Apr. 2025.

DUCAS, Léo et al. CRYSTALS-Dilithium: digital signatures from module lattices. TCHES, 2018. Available at: https://pq-crystals.org/dilithium/. Accessed on: 13 Apr. 2025.

ENISA. Post-Quantum Cryptography: Current state and quantum mitigation. 2023. Available at: https://www.enisa.europa.eu. Accessed on: 13 Apr. 2025.

GOOGLE. Experimenting with Post-Quantum Cryptography. 2023. Available at: https://security.googleblog.com. Accessed on: 13 Apr. 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. Available at: https://www.rfc-editor.org/rfc/rfc9000. Accessed on: 13 Apr. 2025.

LYUBASHEVSKY, Vadim; PEIKERT, Chris; REGEV, Oded. On ideal lattices and learning with errors. In: EUROCRYPT, 2010. Available at: https://doi.org/10.1007/978-3-642-13190-5_1. Accessed on: 13 Apr. 2025.

MITRE. ATT&CK Framework. 2024. Available at: https://attack.mitre.org. Accessed on: 13 Apr. 2025.

NIST. Module-Lattice-Based Key-Encapsulation Mechanism Standard (FIPS 203). 2024a. Available at: https://csrc.nist.gov/publications/detail/fips/203/final. Accessed on: 13 Apr. 2025.

NIST. Module-Lattice-Based Digital Signature Standard (FIPS 204). 2024b. Available at: https://csrc.nist.gov/publications/detail/fips/204/final. Accessed on: 13 Apr. 2025.

OPEN QUANTUM SAFE. liboqs: Open Quantum Safe library. 2024. Available at: https://openquantumsafe.org. Accessed on: 13 Apr. 2025.

OPENSSL. CVE-2022-0778. 2022. Available at: https://www.openssl.org/news/vulnerabilities.html. Accessed on: 13 Apr. 2025.

RESCORLA, Eric. The Transport Layer Security (TLS) Protocol Version 1.3. RFC 8446. IETF, 2018. Available at: https://www.rfc-editor.org/rfc/rfc8446. Accessed on: 13 Apr. 2025.

SHOR, Peter W. Algorithms for quantum computation: discrete logarithms and factoring. In: FOCS, 1994. Available at: https://doi.org/10.1109/SFCS.1994.365700. Accessed on: 13 Apr. 2025.

STEVENS, Marc et al. The first collision for full SHA-1. In: CRYPTO, 2017. Available at: https://doi.org/10.1007/978-3-319-63688-7_12. Accessed on: 13 Apr. 2025.

VERIZON. 2024 Data Breach Investigations Report. 2024. Available at: https://www.verizon.com/business/resources/reports/dbir/. Accessed on: 13 Apr. 2025.