暗号要素技術の一般的構成を介した高い安全性・高度な機能を備えた暗号要素技術の構成

Recent years have witnessed an active research on cryptographic primitives with complex functionality beyond simple encryption or authentication. A cryptographic primitive is required to be proposed together with a formal model of its usage and a rigorous proof of security under that model.This approach has suffered from the two drawbacks: (1) security models are defined in a very specific manner for each primitive, which situation causes the relationship between these security models not to be very clear, and (2) no comprehensive ways to confirm that a formal model of security really captures every possible scenarios in practice.This research relaxes these two drawbacks by the following approach: (1) By observing the fact that a cryptographic primitive A should be crucial for constructing another primitive B, we identify an easy-to-understand approach for constructing various cryptographic primitives.(2) Consider a situation in which there are closely related cryptographic primitives A and B, and the primitive A has no known security requirement that corresponds to some wellknown security requirement (b) for the latter primitive B.We argue that this situation suggests that this unknown security requirement for A can capture some practical attack. This enables us to detect unknown threats for various cryptographic primitives that have been missed bythe current security models.Following this approach, we identify an overlooked security threat for a cryptographic primitive called group signature. Furthermore, we apply the methodology (2) to the “revocable”group signature and obtain a new extension of public-key encryption which allows to restrict a plaintext that can be securely encrypted.通常の暗号化や認証にとどまらず, 複雑な機能を備えた暗号要素技術の提案が活発になっている. 暗号要素技術の安全性は利用形態に応じて, セキュリティ上の脅威をモデル化して安全性要件を定め, 新方式はそれぞれ安全性定義を満たすことの証明と共に提案される.既存研究では, 次の問題があった: (1) 要素技術ごとに個別に安全性の定義を与えているため, 理論的な体系化が不十分であった. (2) 安全性定義が実用上の脅威を完全に捉えきれているかの検証が難しかった.本研究は上記の問題を次の考え方で解決する. (1) ある要素技術(A) を構成するには別の要素技術(B) を部品として用いることが不可欠であることに注目し, 各要素技術の安全性要件の関連を整理・体系化して, 新方式を見通し良く構成可能とする. (2) 要素技術(B)で考慮されていた安全性要件(b) に対応する要素技術(A) の安全性要件が未定義なら, それを(A) の新たな安全性要件(a) として定式化する. これにより未知の脅威の検出が容易になる.グループ署名と非対話開示機能付き公開鍵暗号という2 つの要素技術について上記の考え方を適用して, グループ署名について未知の脅威を指摘する.また, 証明書失効機能と呼ばれる拡張機能を持つグループ署名に上記の考え方を適用して, 公開鍵暗号についての新たな拡張機能である, 暗号化できる平文を制限できる公開鍵暗号の効率的な構成法を明らかにする.電気通信大学201

Kant in English: An Index

Kant in English: An Index / By Daniel Fidel Ferrer. ©Daniel Fidel Ferrer, 2017. Pages 1 to 2675. Includes bibliographical references. Index. 1. Ontology. 2. Metaphysics. 3. Philosophy, German. 4. Thought and thinking. 5. Kant, Immanuel, 1724-1804. 6. Practice (Philosophy). 7. Philosophy and civilization. 8). Kant, Immanuel, 1724-1804 -- Wörterbuch. 9. Kant, Immanuel, 1724-1804 -- Concordances. 10. Kant, Immanuel, 1724-1804 -- 1889-1976 – Indexes. I. Ferrer, Daniel Fidel, 1952-. MOTTO As a famous motto calls us back to Kant, Otto Liebmann’s writes (Kant and His Epigones of 1865): “Also muss auf Kant zurückgegangen werden.” “Therefore, must return to Kant.” Table of Contents 1). Preface and Introduction. 2. Background on Kant’s Philosophy (hermeneutical historical situation). 3). Main Index (pages, 25 to 2676). Preface and Introduction Total words indexed: 58,928; for the 12 volumes that are in the MAIN INDEX are indexed: pages 1 to 7321. This monograph by Daniel Fidel Ferrer is 2676 pages in total. The following is a machine index of 12 volumes written by Immanuel Kant and translated from German into English. Everything is indexed including the text, title pages, preface, notes, editorials, glossary, indexes, biographical notes, and even some typos. No stop words or words removed from this index. There are some German words in the text, bibliographies, and in the glossaries (also included in Main Index). Titles in English of Kant’s writings for this index (pages 1 to 7321). Anthropology, History, and Education [Starts on page 1 Correspondence [Starts on page 313 Critique of Pure Reason [Starts page 971 Critique of the Power of Judgment [Starts on page 1771 Lectures on Logic [Starts on page 2247 Lectures on Metaphysics [Starts on page 2991 Notes and Fragments [Starts on page 3670 Opus Postumum [Starts on page 4374 Practical Philosophy [Starts on page 4741 Religion and Rational Theology [Starts on page 5446 Theoretical Philosophy after 1781 [Starts on page 5990 Theoretical Philosophy, 1755-1770 [Starts on page 6541 Universal Natural History and Theory of the Heavens or An Essay on the Constitution and the Mechanical Origin of the Entire Structure of the Universe Based on Newtonian Principles [Starts on page 7162 The whole single file which includes all of these books ends on page 7321. 12 volumes are pages 1 to 7321. These actual texts of these books by Kant are not include here because of copyright. This is only an index of these 7321 pages by Immanuel Kant. There are some German words in the text and in the glossaries, etc. Searching this Main Index. Please note the German words that start with umlauts are at the end of the index because of machine sorting of the words. Starting with the German word “ße” on page 2674 page of this book (see in Main Index). Use the FIND FUNCTION for all examples of the words or names you are searching. Examples from the Main Index mendacium, 5171, 5329, 5389 mendation, 220 mendax, 2702, 2800 mended, 360 Mendel, 416, 925, 965 Mendelian, 2212 Mendels, 345, 363, 417, 458, 560, 572, 588, 926, 928, 929 MENDELSSOHN, 925 Mendelssohn, 8, 9, 19, 98, 99, 100, 101

Kant in English: An Index

Kant in English: An Index / By Daniel Fidel Ferrer. ©Daniel Fidel Ferrer, 2017. Pages 1 to 2675. Includes bibliographical references. Index. 1. Ontology. 2. Metaphysics. 3. Philosophy, German. 4. Thought and thinking. 5. Kant, Immanuel, 1724-1804. 6. Practice (Philosophy). 7. Philosophy and civilization. 8). Kant, Immanuel, 1724-1804 -- Wörterbuch. 9. Kant, Immanuel, 1724-1804 -- Concordances. 10. Kant, Immanuel, 1724-1804 -- 1889-1976 – Indexes. I. Ferrer, Daniel Fidel, 1952-. MOTTO As a famous motto calls us back to Kant, Otto Liebmann’s writes (Kant and His Epigones of 1865): “Also muss auf Kant zurückgegangen werden.” “Therefore, must return to Kant.” Table of Contents 1). Preface and Introduction. 2. Background on Kant’s Philosophy (hermeneutical historical situation). 3). Main Index (pages, 25 to 2676). Preface and Introduction Total words indexed: 58,928; for the 12 volumes that are in the MAIN INDEX are indexed: pages 1 to 7321. This monograph by Daniel Fidel Ferrer is 2676 pages in total. The following is a machine index of 12 volumes written by Immanuel Kant and translated from German into English. Everything is indexed including the text, title pages, preface, notes, editorials, glossary, indexes, biographical notes, and even some typos. No stop words or words removed from this index. There are some German words in the text, bibliographies, and in the glossaries (also included in Main Index). Titles in English of Kant’s writings for this index (pages 1 to 7321). Anthropology, History, and Education [Starts on page 1 Correspondence [Starts on page 313 Critique of Pure Reason [Starts page 971 Critique of the Power of Judgment [Starts on page 1771 Lectures on Logic [Starts on page 2247 Lectures on Metaphysics [Starts on page 2991 Notes and Fragments [Starts on page 3670 Opus Postumum [Starts on page 4374 Practical Philosophy [Starts on page 4741 Religion and Rational Theology [Starts on page 5446 Theoretical Philosophy after 1781 [Starts on page 5990 Theoretical Philosophy, 1755-1770 [Starts on page 6541 Universal Natural History and Theory of the Heavens or An Essay on the Constitution and the Mechanical Origin of the Entire Structure of the Universe Based on Newtonian Principles [Starts on page 7162 The whole single file which includes all of these books ends on page 7321. 12 volumes are pages 1 to 7321. These actual texts of these books by Kant are not include here because of copyright. This is only an index of these 7321 pages by Immanuel Kant. There are some German words in the text and in the glossaries, etc. Searching this Main Index. Please note the German words that start with umlauts are at the end of the index because of machine sorting of the words. Starting with the German word “ße” on page 2674 page of this book (see in Main Index). Use the FIND FUNCTION for all examples of the words or names you are searching. Examples from the Main Index mendacium, 5171, 5329, 5389 mendation, 220 mendax, 2702, 2800 mended, 360 Mendel, 416, 925, 965 Mendelian, 2212 Mendels, 345, 363, 417, 458, 560, 572, 588, 926, 928, 929 MENDELSSOHN, 925 Mendelssohn, 8, 9, 19, 98, 99, 100, 101