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, Interoperabilität, Leistung und formale Sicherheitsgarantien während der Migrationsphase 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‑quantenkryptographische Primitive mit formalen Mechanismen zur kontinuierlichen 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 Resistenz gegen Second-Preimage-Angriffe und EUF-CMA bereitstellt. Wir formalisieren das Bedrohungsmodell im rechnerischen Paradigma mit einem probabilistischen polynomialzeitlichen Angreifer, der über aktive Abfangfähigkeiten, partiellen adaptiven Kompromiss und quantencomputationale Rechenleistung verfügt, modelliert durch die Klasse BQP. Wir zeigen, dass unter der Hypothese statistischer Unabhängigkeit der hybriden Geheimnisse der abgeleitete Schlüssel Ununterscheidbarkeit beibehält, selbst im Falle eines zukünftigen Bruchs der klassischen Primitive. 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 weniger als 12 % in 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, Cloud-native Umgebungen, den Einsatz von eBPF für sichere Observability sowie kryptographische Governance im Einklang mit den Richtlinien von NIST und ENISA bis 2025. Wir kommen zu dem Schluss, dass ACAPQ einen formal fundierten und operativ praktikablen Weg für den Post-Quanten-Übergang in verteilten kritischen Infrastrukturen bietet.

  1. Einführung

Die kryptographische Sicherheit verteilter kritischer Infrastrukturen steht im Jahr 2025 vor einem strukturellen Übergang, der sowohl durch Fortschritte im Quantencomputing 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, deren Sicherheit auf der Schwierigkeit des diskreten Logarithmusproblems auf elliptischen Kurven (ECDLP) und historisch auf der Faktorisierung ganzer Zahlen beruht. Obwohl diese Annahmen im klassischen Rechenmodell weiterhin solide sind, zeigt der Shor-Algorithmus, dass Faktorisierung und diskrete Logarithmen von ausreichend großen Quantencomputern in polynomialer Zeit gelöst werden können (SHOR, 1994).

Neben der prospektiven Quantenbedrohung zeigen jüngste Vorfälle systemische Schwächen in Vertrauenskettensystemen auf. Die Schwachstelle CVE-2022-0778 in OpenSSL nutzte rekursives Parsing von Zertifikaten aus und führte zu einer Denial-of-Service-Situation (OPENSSL, 2022). Lieferkettenangriffe, wie der SolarWinds-Vorfall, demonstrierten die Möglichkeit, Vertrauenskontrollen durch die Nutzung gültiger digitaler Signaturen zu unterlaufen. Im MITRE ATT&CK-Framework stehen solche Vektoren in Verbindung 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 Missbrauch von Zugangsdaten und Schwächen in kryptographischen Kontrollen zurückzuführen ist (VERIZON, 2024). Parallel dazu veröffentlichte NIST zwischen 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), wodurch der normative Übergang konsolidiert wurde (NIST, 2024a; NIST, 2024b).

Wir formulieren die folgenden Forschungsfragen:

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

RQ2: Wie können formal überprüfbare kontinuierliche Integritätsnachweise definiert werden, die gegen persistente Angreifer mit langfristiger Abhörfähigkeit und teilweiser Kompromittierung resistent sind?

RQ3: Welche quantitativen Auswirkungen hat diese Integration in Bezug auf Latenz, Durchsatz und Angriffsoberfläche in Cloud‑nativen Umgebungen, die durch CNAPP gesteuert werden?

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

  1. Hintergrund und verwandte Arbeiten

2.1 Mathematische Grundlagen

Sei $G$ eine zyklische Gruppe der Primordnung $q$ mit Generator $g$. Das diskrete Logarithmusproblem besteht darin, aus $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 Verfahren wird das Problem Learning With Errors (LWE) betrachtet. 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 es für geeignete Parameter rechnerisch schwierig, $s$ zu rekonstruieren. Reduktionsresultate 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 Eingeschränkte Interoperabilität
Hybride Kryptographie Kombination klassisch + PQC Kompositionelle Robustheit Rechnerischer Overhead
Progressive Verkapselung PQC nur im Handshake Gradueller Übergang Teilweise Abdeckung

Bindel et al. (2019) analysieren hybride Austauschverfahren in TLS 1.3. Industrielle Initiativen umfassen 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 Kommunikationskanals und adressieren nicht die kontinuierliche Integritätsattestierung von Systemzuständen in verteilten Clustern.

2.3 Sicherheit in Cloud-nativen Umgebungen

Im Jahr 2025 arbeiten kritische Infrastrukturen häufig unter Cloud‑nativen Architekturen mit Kubernetes und CNAPP-Werkzeugen (Cloud-Native Application Protection Platforms). Die Integration post‑quantischer Kryptographie muss sichere Observability (z. B. über eBPF) sowie die Isolation sensibler Workloads berücksichtigen (CISA, 2024). Die Angriffsoberfläche erweitert sich durch Automatisierung und erfordert formale Garantien für kryptographische Komposition.

  1. Bedrohungsmodell und Problemformalisierung

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

Ein Protokoll $\Pi$ ist 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) $$

mit vernachlässigbarem $\epsilon(\lambda)$.

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 würde, bewahrt das Vorhandensein von ML-KEM die rückwirkende Vertraulichkeit.

  1. Vorgeschlagene Methodik

4.1 ACAPQ-Architektur

Die ACAPQ umfasst:

4.2 Algorithmus 1 — Hybrider Schlüssel‑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 Multiplikationen in modularen Ringen.

4.3 Algorithmus 2 — Attestierungsnachweis

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äbildresistenz 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 und 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% —
Falschpositivrate — 0,4% —

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

Die Ergebnisse bleiben unterhalb der Schwelle von 15%, die üblicherweise in kritischen SLAs akzeptiert wird.

  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 von Gitterkryptographie bestehen weiterhin, wie von ENISA (2023) berichtet.

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

  1. Schlussfolgerung und zukünftige Arbeiten

Wir stellen ACAPQ als adaptive hybride Architektur mit formal fundierten postquantenresistenten Integritätsnachweisen vor. Wir demonstrieren Sicherheit unter IND-CCA2 und EUF-CMA im Modell mit einem 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-Szenarien mit ultraniedriger Latenz.

References

AMAZON Web Services. Post-Quantum Cryptography in AWS KMS. 2024. Available at: https://aws.amazon.com/security/post-quantum-cryptography/. Accessed on: 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. Available at: https://pq-crystals.org/kyber/. Accessed on: 13 abr. 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 abr. 2025.

CISA. Post-Quantum Cryptography Initiative. 2024. Available at: https://www.cisa.gov/pqc. Accessed on: 13 abr. 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 abr. 2025.

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

GOOGLE. Experimenting with Post-Quantum Cryptography. 2023. Available at: https://security.googleblog.com. Accessed on: 13 abr. 2025.

KATZ, Jonathan; LINDELL, Yehuda. Introduction to Modern Cryptography. 2. Aufl. 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 abr. 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 abr. 2025.

MITRE. ATT&CK Framework. 2024. Available at: https://attack.mitre.org. Accessed on: 13 abr. 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 abr. 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 abr. 2025.

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

OPENSSL. CVE-2022-0778. 2022. Available at: https://www.openssl.org/news/vulnerabilities.html. Accessed on: 13 abr. 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 abr. 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 abr. 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 abr. 2025.

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