Privatsphärebewahrende authentifizierte Schlüsselaustauschverfahren (PPAKE, von engl. Privacy Preserving Authenticated Key Exchange) sind AKE (engl. Authenticated Key Exchange) Protkolle, die so konzipiert werden, dass sie die Identität der beiden Kommunikationspartner vor Dritten geheim halten. PPAKE Protokolle wurden bereits in der Vergangenheit betrachtet. In diesem Werk möchten wir die bestehenden formalen Privatsphäreeigenschaften solcher Protokolle stärken. Der wichtigste Zusatz ist, dass wir auch Angreifer betrachten, die den Protokollablauf nicht korrekt beenden (z.B. weil sie sich nicht authentifizieren können). Auch derartige Angriffe sind relevant, da es dem Angreifer möglicherweise egal ist, ob der Protkollablauf abgebrochen wird, nachdem er die Identität seines Zieles herausgefunden hat. Zusätzlich präsentieren wir ein formales Modell das diese Eigenschaften abbildet und mehrere Protkolle, die unterschiedlich starke Privatsphärebewahrungseigenschaften erfüllen. Eines davon ist eine genersiche Konstruktion aus generischen kryptografischen Grundbausteinen und kann daher auf eine Art instanziiert werden, von der angenommen wird dass sie selbst gegen zukünftige Quantencomputer sicher ist. Zudem präsentieren wir formale Beweise aller Protokolle in dem von uns eingeführten Modell. Der zweite Teil dieser Masterarbeit behandelt die automatische Verifikation der Privatsphäreeigenschaften des wichtigsten Protokolls aus dem ersten Teil. Automatische Verifikation wird verwendet, um entweder einen Angriff gegen ein Protokoll zu finden, oder festzustellen dass die angegebenen Eigenschaften tatsächlich erüllt sind. Dadurch wird die Wahrscheinlichkeit, in den von Menschenhand geschriebenen Beweisen einen Fehler gemacht zu haben, minimiert. Als erstes untersuchten wir die automatische Verifikationssoftware “Tamarin Prover”, die jedoch, bevor der zugeteilte Arbeitsspeicher von ca. 60 GB aufgebraucht war, zu keinem Ergebnis führte (weder einem Beweis noch einem Angriff). Daher nutzten wir stattdessen die Verifikationssoftware ProVerif und konnten die gewünschten Eigenschaften erfolgreich beweisen. In diesem Werk präsentieren wir sowohl unsere Tamarin- als auch unsere ProVerif-Formulierung.
Privatsphärebewahrende authentifizierte Schlüsselaustauschverfahren (PPAKE, von engl. Privacy Preserving Authenticated Key Exchange) sind AKE (engl. Authenticated Key Exchange) Protkolle, die so konzipiert werden, dass sie die Identität der beiden Kommunikationspartner vor Dritten geheim halten. PPAKE Protokolle wurden bereits in der Vergangenheit betrachtet. In diesem Werk möchten wir die bestehenden formalen Privatsphäreeigenschaften solcher Protokolle stärken. Der wichtigste Zusatz ist, dass wir auch Angreifer betrachten, die den Protokollablauf nicht korrekt beenden (z.B. weil sie sich nicht authentifizieren können). Auch derartige Angriffe sind relevant, da es dem Angreifer möglicherweise egal ist, ob der Protkollablauf abgebrochen wird, nachdem er die Identität seines Zieles herausgefunden hat. Zusätzlich präsentieren wir ein formales Modell das diese Eigenschaften abbildet und mehrere Protkolle, die unterschiedlich starke Privatsphärebewahrungseigenschaften erfüllen. Eines davon ist eine genersiche Konstruktion aus generischen kryptografischen Grundbausteinen und kann daher auf eine Art instanziiert werden, von der angenommen wird dass sie selbst gegen zukünftige Quantencomputer sicher ist. Zudem präsentieren wir formale Beweise aller Protokolle in dem von uns eingeführten Modell. Der zweite Teil dieser Masterarbeit behandelt die automatische Verifikation der Privatsphäreeigenschaften des wichtigsten Protokolls aus dem ersten Teil. Automatische Verifikation wird verwendet, um entweder einen Angriff gegen ein Protokoll zu finden, oder festzustellen dass die angegebenen Eigenschaften tatsächlich erüllt sind. Dadurch wird die Wahrscheinlichkeit, in den von Menschenhand geschriebenen Beweisen einen Fehler gemacht zu haben, minimiert. Als erstes untersuchten wir die automatische Verifikationssoftware “Tamarin Prover”, die jedoch, bevor der zugeteilte Arbeitsspeicher von ca. 60 GB aufgebraucht war, zu keinem Ergebnis führte (weder einem Beweis noch einem Angriff). Daher nutzten wir stattdessen die Verifikationssoftware ProVerif und konnten die gewünschten Eigenschaften erfolgreich beweisen. In diesem Werk präsentieren wir sowohl unsere Tamarin- als auch unsere ProVerif-Formulierung.
Moderne Kryptographie erlaubt nicht nur, personenbezogene Daten im Internet zu schützen oder sich für bestimmte Dienste zu authentifizieren, sondern ermöglicht auch das Auswerten einer Funktion auf geheimen Eingaben mehrerer Parteien, ohne dass dabei etwas über diese Eingaben gelernt werden kann (mit der Ausnahme von Informationen, die aus der Ausgabe und eigenen Eingaben effizient abgeleitet werden können). Kryptographische Protokolle dieser Art werden sichere Mehrparteienberechnung genannt und eignen sich für ein breites Anwendungsspektrum, wie z.B. geheime Abstimmungen und Auktionen. Um die Sicherheit solcher Protokolle zu beweisen, werden Annahmen benötigt, die oft komplexitätstheoretischer Natur sind, beispielsweise, dass es schwierig ist, hinreichend große Zahlen zu faktorisieren. Sicherheitsannahmen, die auf physikalischen Prinzipien basieren, bieten im Gegensatz zu komplexitätstheoretischen Annahmen jedoch einige Vorteile: die Protokolle sind meist konzeptionell einfacher, die Sicherheit ist unabhängig von den Berechnungskapazitäten des Angreifers, und die Funktionsweise und Sicherheit ist oft für den Menschen leichter nachvollziehbar. (Zum Beispiel forderte das Bundesverfassungsgericht: „Beim Einsatz elektronischer Wahlgeräte müssen die wesentlichen Schritte der Wahlhandlung und der Ergebnisermittlung vom Bürger zuverlässig und ohne besondere Sachkenntnis überprüft werden können.“ (BVerfG, Urteil des Zweiten Senats vom 03. März 2009)). Beispiele für solche Annahmen sind physikalisch getrennte oder unkorrumpierbare Hardware-Komponenten (vgl. Broadnax et al., 2018), Write-Only-Geräte für Logging, oder frei zu rubbelnde Felder, wie man sie von PIN-Briefen kennt. Auch die aus der Quantentheorie folgende Nicht-Duplizierbarkeit von Quantenzuständen ist eine physikalische Sicherheitsannahme, die z.B. verwendet wird, um nicht-klonbares „Quantengeld“ zu realisieren. In der vorliegenden Dissertation geht es neben Protokollen, die die Sicherheit und Isolation bestimmter einfacher Hardware-Komponenten als Vertrauensanker verwenden, im Besonderen um kryptographischen Protokolle für die sichere Mehrparteienberechnung, die mit Hilfe physikalischer Spielkarten durchgeführt werden. Die Sicherheitsannahme besteht darin, dass die Karten ununterscheidbare Rückseiten haben und, dass bestimmte Mischoperationen sicher durchgeführt werden können. Eine Anwendung dieser Protokolle liegt also in der Veranschaulichung von Kryptographie und in der Ermöglichung sicherer Mehrparteienberechnungen, die gänzlich ohne Computer ausgeführt werden können. Ein Ziel in diesem Bereich der Kryptographie ist es, Protokolle anzugeben, die möglichst wenige Karten benötigen – und sie als optimal in diesem Sinne zu beweisen. Abhängig von Anforderungen an das Laufzeitverhalten (endliche vs. lediglich im Erwartungswert endliche Laufzeit) und an die Praktikabilität der eingesetzten Mischoperationen, ergeben sich unterschiedliche untere Schranken für die mindestens benötigte Kartenanzahl. Im Rahmen der Arbeit wird für jede Kombination dieser Anforderungen ein UND-Protokoll – ein logisches UND zweier in Karten codierter Bits; dieses ist zusammen mit der Negation und dem Kopieren von Bits hinreichend für die Realisierung allgemeiner Schaltkreise – konstruiert oder in der Literatur identifiziert, das mit der minimalen Anzahl an Karten auskommt, und dies auch als Karten-minimal bewiesen. Insgesamt ist UND mit vier (für erwartet endliche Laufzeit (Koch, Walzer und Härtel, 2015; Koch, 2018)), fünf (für praktikable Mischoperationen oder endliche Laufzeit (Koch, Walzer und Härtel, 2015; Koch, 2018)) oder sechs Karten (für endliche Laufzeit und gleichzeitig praktikable Mischoperationen (Kastner et al., 2017)) möglich und optimal. Für die notwendigen Struktureinsichten wurden so-genannte „Zustandsdiagramme“ mit zugehörigen Kalkülregeln entwickelt, die eine graphenbasierte Darstellung aller möglichen Protokolldurchläufe darstellen und an denen Korrektheit und Sicherheit der Protokolle direkt ablesbar sind (Koch, Walzer und Härtel, 2015; Kastner et al., 2017). Dieser Kalkül hat seitdem eine breite Verwendung in der bereichsrelevanten Literatur gefunden. (Beweise für untere Schranken bzgl. der Kartenanzahl werden durch den Kalkül zu Beweisen, die zeigen, dass bestimmte Protokollzustände in einer bestimmten kombinatorischen Graphenstruktur nicht erreichbar sind.) Mit Hilfe des Kalküls wurden Begriffe der Spielkartenkryptographie als C-Programm formalisiert und (unter bestimmten Einschränkungen) mit einem „Software Bounded Model Checking“-Ansatz die Längenminimalität eines kartenminimalen UND-Protokolls bewiesen (Koch, Schrempp und Kirsten, 2019). Darüber hinaus werden konzeptionell einfache Protokolle für den Fall einer sicheren Mehrparteienberechnung angegeben, bei der sogar zusätzlich die zu berechnende Funktion geheim bleiben soll (Koch und Walzer, 2018), und zwar für jedes der folgenden Berechnungsmodelle: (universelle) Schaltkreise, binäre Entscheidungsdiagramme, Turingmaschinen und RAM-Maschinen. Es wird zudem untersucht, wie Karten-basierte Protokolle so ausgeführt werden können, dass die einzige Interaktion darin besteht, dass andere Parteien die korrekte Ausführung überwachen. Dies ermöglicht eine (schwach interaktive) Programm-Obfuszierung, bei der eine Partei ein durch Karten codiertes Programm auf eigenen Eingaben ausführen kann, ohne etwas über dessen interne Funktionsweise zu lernen, das über das Ein-/Ausgabeverhalten hinaus geht. Dies ist ohne derartige physikalische Annahmen i.A. nicht möglich. Zusätzlich wird eine Sicherheit gegen Angreifer, die auch vom Protokoll abweichen dürfen, formalisiert und es wird eine Methode angegeben um unter möglichst schwachen Sicherheitsannahmen ein passiv sicheres Protokoll mechanisch in ein aktiv sicheres zu transformieren (Koch und Walzer, 2017). Eine weitere, in der Dissertation untersuchte physikalische Sicherheitsannahme, ist die Annahme primitiver, unkorrumpierbarer Hardware-Bausteine, wie z.B. einen TAN-Generator. Dies ermöglicht z.B. eine sichere Authentifikation des menschlichen Nutzers über ein korrumpiertes Terminal, ohne dass der Nutzer selbst kryptographische Berechnungen durchführen muss (z.B. große Primzahlen zu multiplizieren). Dies wird am Beispiel des Geldabhebens an einem korrumpierten Geldautomaten mit Hilfe eines als sicher angenommenen zweiten Geräts (Achenbach et al., 2019) und mit möglichst schwachen Anforderungen an die vorhandenen Kommunikationskanäle gelöst. Da das angegebene Protokoll auch sicher ist, wenn es beliebig mit anderen gleichzeitig laufenden Protokollen ausgeführt wird (also sogenannte Universelle Komponierbarkeit aufweist), es modular entworfen wurde, und die Sicherheitsannahme glaubwürdig ist, ist die Funktionsweise für den Menschen transparent und nachvollziehbar. Insgesamt bildet die Arbeit durch die verschiedenen Karten-basierten Protokolle, Kalküle und systematisierten Beweise für untere Schranken bzgl. der Kartenanzahl, sowie durch Ergebnisse zur sicheren Verwendung eines nicht-vertrauenswürdigen Terminals, und einer Einordnung dieser in eine systematische Darstellung der verschiedenen, in der Kryptographie verwendeten physikalischen Annahmen, einen wesentlichen Beitrag zur physikalisch-basierten Kryptographie.
Das Design und die Analyse der sicheren Kommunikationsprotokolle haben sich als nichttriviale Aufgabe erwiesen. Der Beweis der Sicherheit einfacher kryptographischer Protokolle ist üblicherweise sehr komplex. Viele Protokolle wurden ohne theoretische Rechtfertigung, d.h. ohne formalen Sicherheitsbeweis, entwickelt. Dies umfasst etwa die Protokolle TLS/SSL, IPSec oder Kerberos. Aus diesem Grund gibt es in regelmäßigen Abständen Angriffe auf diese Protokolle. Daher ist die Analyse bestehender Protokolle, sowie der Entwurf theoretisch fundierter kryptographischer Protokolle von großer Wichtigkeit, wenn man solche Angriffe vermeiden möchte. Diese Arbeit beschäftigt sich mit Design und Analyse kryptographischer Protokolle in den aktuell gängigsten Sicherheitsmodellen. Wir zeigen, wie man Kommunikationsprotokolle systematisch konstruieren und analysieren kann, insbesondere für authentifizierte Schlüsselaustauschprotokolle in realitätsnahen Modellen.
In dieser Arbeit präsentieren wir einen Ansatz, mit dem die Sicherheit von Protokollen für multi-party-computations (MPC) verbessert werden kann. Dafür gehen wir davon aus, dass Protokollteilnehmer aus mehreren Geräten mit unterschiedlicher Zusammensetzung von Hardware, Software und Betriebssystemen bestehen. Dies wird als diverse Redundanz bezeichnet. Dazu wird die Annahme getroffen, dass redundante Geräte aufgrund ihres unterschiedlichen Aufbaus nicht alle gleichzeitig korrumpiert werden können. Auf dieser Basis konstruieren wir ein MPC Protokoll, das sicher bleibt, selbst wenn die letzte ehrlich Partei teilweise korrumpiert wird. Um die Annahme formal zu beschreiben, schlagen wir ein Korruptionsmodell vor, das zwei unterschiedliche Typen von Korruptionen vorsieht. Um Angriffe über physikalischen Zugriff auf Geräte zu beschreiben, wird der übliche aktive Angriff benutzt. Angriffe über das Netzwerk werden jedoch eingeschränkt, um zu modellieren, dass solche Angriffe auf vorhandene Sicherheitslücken angewiesen sind. Wenn Systeme in diverser Redundanz vorliegen, ist es unwahrscheinlich, dass sie alle zur selben Zeit Sicherheitslücken aufweisen. Dieser Ansatz wird in der praktischen IT-Sicherheit bereits eingesetzt, wurde, so weit wir wissen, aber noch nicht verwendet, um formale Sicherheitsgarantien zu geben. Viele kryptographische Protokolle machen (implizit) die Annahme, dass jede Partei aus nur einem physikalischen Gerät besteht. Deshalb wird eine Partei dann entweder vollständig korrumpiert oder bleibt komplett ehrlich. Deshalb ist es für unsere Zwecke notwendig, Parteien in mehrere Geräte aufzuteilen. Diese Geräte führen dann ein Protokoll aus, mit dem eine ganze Partei realisiert wird. Um wichtige Stellen zu schützen, an denen die ganze Partei auf einmal korrumpiert werden könnte, setzen wir das MPC Protokoll SPDZ [Dam+13] ein. Hier nutzen wir aus, dass SPDZ nur innerhalb einer Partei eingesetzt wird. Hier vertrauen sich die Geräte, zumindest zu Beginn, bevor Korruptionen stattfinden können. Dieses initiale Vertrauen erlaubt es, den aufwändigsten Teil von SPDZ, die Vorverarbeitungsphase, zu überspringen. Dieser Ansatz verursacht linearen zusätzlichen Aufwand im Vergleich zu herkömmlichen Protokollen. Dafür wird sichergestellt, dass Parteien, die bis zu einem Viertel ihrer Geräte aufgrund von Korruptionen verlieren, weiter als ehrliche Parteien am Protokoll teilnehmen können. Außerdem bleibt ihre Ein- und Ausgabe geheim.
Photonen, die Quanten des Lichts, können sehr komplexe räumliche Strukturen einnehmen, wenn sie frei propagieren. Diese Strukturen werden durch räumliche Moden beschrieben, und ergeben einen unendlich-dimensionalen, diskreten Hilbert-Raum. Eine interessante Eigenschaft von Photonen in diesen Lichtstrukturen ist, dass sie einen quantisierte Einheit von Drehimpuls tragen können welcher -- zumindest theoretisch -- nach oben hin unbeschränkt ist. Dieser unbeschränkte Zustandsraum lässt im Prinzip Informationskodierung mit einem groß en Alphabet zu, das Informationsdichten von mehr als einem Bit pro Photon ermöglicht. Diese Eigenschaft ist natürlich in der klassischen Kommunikation interessant, wo sie bereits benützt wird um Datenraten von mehr als 100 Tbit/sec zu erreichen. Speziell in quantenphysikalischen Situationen lässt es auch sehr interessante Möglichkeiten zu, wie zum Beispiel hochdimensionale Verschränkung. Zwei Systeme sind verschränkt, wenn sie gemeinsam eine von mehreren Eigenschaften annehmen können (wie zum Beispiel die Polarisation von Photonen), diese Eigenschaft aber vor der Messung noch nicht realisiert ist. Erst durch die Messung von einem der Systeme wird eine Eigenschaft realisiert (zum Beispiel, dass das Photon horizontale Polarisation hat), und weil es eine gemeinsame Eigenschaft des Photonen-Paars ist, nimmt auch das zweite Photon diese Eigenschaft an -- egal wie weit es entfernt ist. Hochdimensionale Verschränkung bedeutet, dass die Photonen eine von vielen Eigenschaften gemeinsame einnehmen könnten. Aber erst durch die Messung wird eine dieser Einstellungen realisiert -- und im gleichen Augenblick nimmt das Partner-Photon diese Eigenschaft an. Das zeigt, dass zwei Photonen gemeinsam über groß e Distanzen hinweg auf eine nicht-lokale/nicht-reale Weise viel Information tragen können. In dieser Arbeit habe ich mich mit räumlichen Strukturen von Photonen und ihren quantenphysikalischen Eigenschaften beschäftigt -- in groß en Hilbert-Räumen als auch in groß en realen Räumen. Im ersten Experiment wird untersucht, in wie vielen Dimensionen man zwei Photonen verschränken kann. Wir konnten Photonenpaare erzeugen, die in über 100 Dimensionen verschränkt sind -- und haben diese in einer Serie von insgesamt 200.000 Messungen auch nachweisen können. Der entsprechende Hilbert Raum ist vergleichbar mit zwei-dimensionaler Verschränkung von etwa 13 Teilchen. Das zeigt ein riesiges Potential für die Umsetzung von Quantenkommunikations-Experimenten mit bereits vorhandenen Technologien. Aufbauend darauf haben wir uns gefragt, ob Photonen in diesen Lichtstrukturen auch über Distanzen übertragen werden können, die größ er sind als typische optische Tische im Labor -- was natürlich für realistische Quantenkommunikations-Experimente notwendig ist. Diese Frage wurde bis zu dem Zeitpunkt nur in theoretischen Modellierungen und numerischen "Experimenten" untersucht -- mit durchaus kritischen Resultaten. Da es aber noch keine experimentellen Untersuchungen gab, noch nicht einmal für klassische Laser mit räumlichen Strukturen, haben wir über einen 3 Kilometer langen Kommunikationslink -- durch die Stadt Wien -- einen ersten Test gemacht. Dieser erste Test zeigte (für uns unerwartet) gute Resultate, sodass wir in einem Nachfolgeexperiment auf dem gleichen 3 Kilometer Link auch verschränkte Photonen in räumlichen Strukturen übertragen haben. Wir konnten die Eigenschaft der Verschränkung tatsächlich nachweisen, was bedeutet dass die räumliche Struktur von Einzelphotonen durch die Atmosphäre nicht zu stark beeinflusst wird. Um die Limits weiter auszuschöpfen, haben wir ein klassisches Experiment zwischen zwei kanarischen Inseln über 143 Kilometer durchgeführt, und die übertragenen Strukturen konnten immer noch erkannt werden. In einer weiteren Arbeit wollten wir das Potential von hochdimensionaler Verschränkung auf mehrere Teilchen erweitern, um neue Effekte in hoch-dimensionaler Vielteilchen-Verschränkung zu untersuchen. Dabei stieß en wir gleich auf das folgende praktische Problem: Uns war nicht klar, wie der dementsprechenden experimentelle Aufbau aussehen sollte, der solche Zustände erzeugen kann. Das Problem habe ich gelöst durch einen Computeralgorithmus (den wir Melvin nennen) der automatisch Implementationen von Experimenten finden kann. Mehrere dieser computer-designten Experimente wurden in unseren Labors bereits erfolgreich umgesetzt, andere werden im Moment gebaut. Diese daraus resultierenden Experimente erlauben die Untersuchung von Zuständen im Labor, die man sonst nur auf Papier analysieren kann. Die computer-designten Experimente sind sehr kontraintuitiv, und schwierig zu verstehen -- sie beinhalten aber auch Techniken an die wir normalerweise nicht denken würden. Ein solcher technische Trick hat uns zur Entdeckung einer neuen Art von sehr allgemeiner Verschränkungserzeugung inspiriert, und ist (für mich) ein Beispiel von erfolgreicher Mensch-Maschine Synergie. Im letzten Kapitel habe ich neun Folgefragen und -Projekte aufgelistet, deren Lösung ich besonders spannend finden würde.
Nach dem Energieerhaltungssatz kann Energie nicht erzeugt, sondern nur von einer Form in eine andere umgewandelt werden. In einem energetisch abgeschlossenen System muß dem-gemäß die Gesamtenergie konstant bleiben. Die vorliegende Arbeit geht grundsätzlich der Frage nach, inwieweit dieses physikalische Gesetz überhaupt noch Platz für eine mentale Energie läßt, zumal eine solche Wirkkraft unausweichlich eine Überdetermination zu begrün-den scheint. Ich stelle u.a. jene Überlegungen der Quantenphysik vor, welche mir geeignet erscheinen, die Kluft zwischen Geist und Materie überbrücken zu können. Zum einen des-halb, weil sie die althergebrachte Vorstellung von Materie in Frage stellen, zum anderen, weil sie die Einwirkung des Bewußtseins und das Verhältnis von Objektivität und Subjektivität beleuchten. Es scheint, als besäße das Elektron keine vom Bewußtsein unabhängigen Eigenschaften und als wäre in der Quantentheorie das Objekt vom Subjekt prinzipiell nicht zu trennen. Die Quantenmechanik kennt nichtlokale Verbindungen, die weder mit Energie, noch mit Mechanik, noch mit herkömmlicher kausaler Verknüpfung zu tun haben. Die Nichtlokali-tät stellt somit eine Korrelation, nicht einen kausalen Zusammenhang, wie etwa eine Wechsel-wirkung dar, da keinerlei Signalübertragung stattfindet. Die kausale Geschlossenheit der Welt kann nur soweit Gültigkeit beanspruchen, als physikalische klassische Systeme als umfassende Darstellungen der Welt angesehen werden können. Die Vorstellung, dass subatomare Teilchen einen bestimmten Weg in Raum und Zeit verfolgen und miteinander interferieren, ist eine rein mentale Konstruktion, die unserem Vor-stellungsvermögen entgegenkommt, aber keinerlei zusätzliche Erklärungskraft besitzt. In der gegenwärtigen Diskussion über mentale Verursachung wird oftmals von einem Dualismus ausgegangen, der meines Erachtens von einem überholten Materiebegriff ausgeht. Bei der „Mental-Energie“ ist das Mentale letztlich nicht geheimnisvoller, als die Energie, und die kausale Verbindung des Geistes mit sogenannter „Materie“ nicht rätselhafter und unmöglich-er, als zwei korrelierte Teilchen, die unabhängig von Zeit, Raum verschränkt sind. Ich versuche zu argumentieren, dass es ein “irreduzibles Selbst“ gibt und dass sein „Innewerden“ möglich ist, ansonsten wir gar nicht wissen und spüren könnten, dass wir beispielsweise zentriert sind, wenn wir in unserer Mitte sind. Die Mitte existiert nur „mitten-drin“, als Mitte von Etwas. Ich behaupte, dass es möglich ist, dieses Etwas durch das „Prinzip der transzendenten Resonanz“, als das nicht hintergehbare Selbst, verstärkt wahrzunehmen. Es ist ein Gewahrwerden seiner selbst durch „Spiegelung“ oder „Nachhall“ des Unverstellten und Wesentlichen in besonderen Lebensmomenten. Das Eigentliche um uns bringt durch Resonanz das Eigentliche in uns zum Anklingen: Das „eigentliche Selbst“. Wir erleben uns selbst nicht nur als Erlebende und Erkennende dieser transzendenten Momente, sondern gleichzeitig auch als feststellende, auffindende, wesensgleiche und somit auf gleicher Wellenlänge seiende Kategorisierer und Bewerter dieser besonderen essentiellen Qualität, die um diese Wertkategorie auch wissen. Auf diese Weise bekommen wir neben diesem erkennenden auch ein ergänzendes Wissen von uns selbst, weil ein Teil unseres „ontischen Ergänzungsbedarfs“ den wir als „ex-zentrische“ Wesen haben, gedeckt wurde. In diesem transzendenten Sich-Selbst-Erleben stillen wir unsere Sehnsucht nach Ganzheit. Die Sehn-sucht nach dieser Komplettierung ist die Quelle aller mentalen Energie.