Aktionsplan-Informatik: Kryptographische Lösungen mit langfristiger Sicherheit
信息学行动计划:具有长期安全性的密码解决方案
基本信息
- 批准号:5401352
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Independent Junior Research Groups
- 财政年份:2003
- 资助国家:德国
- 起止时间:2002-12-31 至 2009-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Neue Technologien, wie Spezialhardware oder Quantencomputer, bedrohen zahlreiche real eingesetzte kryptographische Systeme. Langfristige Sicherheit kann erreicht werden durch den weitgehenden Verzicht auf Sicherheitsannahmen, um so informationstheoretische Sicherheit zu bieten, oder durch die Verwendung von zeitweiligen Sicherheitsannahmen, bei denen ein kryptographisches Protokoll etwa nur während der Durchführungsphase gebrochen werden kann. Bis zur praktischen Anwendbarkeit solcher langfristig sicheren Systeme sind aber noch einige Ziele zu erreichen, drei seien hier genannt: Sicherheitsdefinitionen, die zeitliche Veränderungen berücksichtigen und die Bedrohungen zeigen, denen langfristig sichere Anwendungen standhalten müssen. Steigerung der Effizienz informationstheoretisch sicherer Protokolle, etwa durch die (zeitweilige) Einbeziehung (teilweise) vertrauenswürdiger Instanzen, wie Notaren. Entwicklung neuer Protokolle und Anwendungen, die kryptographische Primitive mit physikalisch garantierter Sicherheit nutzen.
新技术,如专用硬件或量子计算机,可以实现真实的密码系统。最后的密码学韦尔登可以通过对密码学的早期验证来实现,也可以通过对密码学的早期验证来实现,因为一个密码学协议只会在韦尔登过程中产生。在实践中,最后一个系统是一个非常简单的系统,三个系统都是:安全性定义、时代性定义和基础性定义,其中最后一个系统是最简单的。Steigerung der Effizienz informationstheoretisch sicherer Protokolle,etwa durch die(zeitweilige)Einbeziehung(teilweise)vertrauenswürdiger Instanzen,wie Notaren.开发新的原型和Anwendungen,这是一个带有物理保护的原始密码。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Professor Dr. Jörn Müller-Quade其他文献
Professor Dr. Jörn Müller-Quade的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似海外基金
Servertechnik Institut für Informatik
计算机科学研究所服务器技术研究所
- 批准号:
377207579 - 财政年份:2018
- 资助金额:
-- - 项目类别:
Major Research Instrumentation
Entwicklung von qualitativen und quantitativen Messverfahren zu Lehr-Lern-Prozessen für Modellierung und Systemverständnis in der Informatik
开发用于计算机科学建模和系统理解的教学过程的定性和定量测量方法
- 批准号:
68237260 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Maschinelle Lernmethoden für die Chemische Informatik II
化学信息学的机器学习方法 II
- 批准号:
51114943 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Research Grants
Relationale Wachstumsgrammatiken als Basis für ein mehrskaliges metabolisches Strukturmodell der Gerste: Neue Techniken der Informatik für Functional-Structural Plant Modells (FSPM)
关系增长语法作为大麦多尺度代谢结构模型的基础:功能结构植物模型(FSPM)的新计算机科学技术
- 批准号:
14436047 - 财政年份:2005
- 资助金额:
-- - 项目类别:
Research Grants
Software Engineering zwischen formalwissenschaftlicher Informatik und nutzergeprägter Technik
介于正式科学计算机科学与用户影响技术之间的软件工程
- 批准号:
5419168 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Research Units
Aktionsplan-Informatik: Verifikation und Optimierung bei der Übersetzung höherer Programmiersprachen
计算机科学行动计划:高级编程语言翻译的验证和优化
- 批准号:
5423501 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Independent Junior Research Groups
Aktionsplan-Informatik: Geometrische Netzwerke und ihre Visualisierung
行动计划信息学:几何网络及其可视化
- 批准号:
5401267 - 财政年份:2003
- 资助金额:
-- - 项目类别:
Independent Junior Research Groups