CAREER: Practice-Oriented Provable Security

职业：面向实践的可证明安全性

• 批准号: 9624560
• 负责人: Phillip Rogaway
• 金额: $ 20万
• 依托单位: University of California-Davis
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-07-01 至 2002-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9624560&HistoricalAwards=false
• 关键词: CAREER; Practice; Oriented; Provable; Security

NOTE: This CAREER award is a companion project to the CAREER award CCR-96-24439, ``Cryptography, Proof Checking and Approximation'', University of California, San Diego. This project focuses on the new area of provable security. Provable security is achieved for a problem, when one provides (i) a definition of security for the problem, (ii) a protocol, and (iii) a proof that the protocol meets its definition, assuming, for example, the intractability of factoring. Instead of just producing triples (definition, protocol, proof), the goal of the project is to utilize reductions as a technique for making precise statements about the security of concrete cryptographic schemes; for example, ``if you can break authentication protocol P with resources X, then you can break the Data Encryption Standard with resources Y''. In particular, applications of these techniques have already lead to a treatment of asymmetric encryption, message authentication, entity authentication, and key distribution. Protocols designed employing practice oriented provable security have resulted in protocols used in products of IBM and Microsoft, and in a proposed International Standard. The Integrated Educational Plan of this CAREER Grant includes developing (a) a new graduate course in modern cryptography; (b) undergraduate security projects which are difficult, open-ended, and design oriented; (c) course and course materials for a new undergraduate course in graphs, games and coloring.***

注意：该职业奖是CCR-96-24439职业奖的一个同伴项目，``加密检查，证明检查和近似''，加利福尼亚大学圣地亚哥分校。 该项目着重于可证明安全性的新领域。 当一个问题提供问题的定义时，（ii）协议以及（iii）协议符合其定义的证明时，可以实现可证明的安全性，例如，假设有说服物的棘手性。 该项目的目的不仅仅是产生三元组（定义，协议，证明），还要利用降低作为对混凝土加密方案安全性进行精确陈述的一种技术；例如，``如果您可以将身份验证协议p与资源x打破，则可以用资源y'中断数据加密标准。 特别是，这些技术的应用已经导致对不对称加密，消息身份验证，实体身份验证和关键分布的处理。采用以实践为导向的可证明安全性设计的协议导致了IBM和Microsoft产品中使用的协议以及拟议的国际标准。 这项职业赠款的综合教育计划包括开发（a）现代密码学的新研究生课程； （b）困难，开放式且面向设计的本科安全项目； （c）新的本科课程的课程和课程材料。***