Computational and logical foundations of privacy and security

隐私和安全的计算和逻辑基础

• 批准号: 138744-2010
• 负责人: Kapron, Bruce
• 金额: $ 1.09万
• 依托单位: University of Victoria
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2010
• 资助国家: 加拿大
• 起止时间: 2010-01-01 至 2011-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=451881
• 关键词: Computational; logical; foundations; privacy; security

The need for security in computer and communication systems has never been greater. The increase in the amount of computation taking place in networked settings exposes systems to significant security threats. Fortunately, work in security and cryptography over the past thirty years has led to sophisticated techniques and tools which may be used in securing systems. In many cases, there are stable secure primitives which may be used in more complex security protocols and systems. However, this is not the end of the story. The increasing sophistication of security systems leads to a need for new tools for modeling, verification and testing. In particular, the security of the building blocks used in a system or protocol does not guarantee security in the end product. We are developing techniques that facilitate verification of the security of complex systems and protocols.

计算机和通信系统对安全性的需求从未如此强烈。网络环境中计算量的增加使系统面临重大的安全威胁。幸运的是，过去三十年的安全和密码学工作已经产生了可用于保护系统的复杂技术和工具。在许多情况下，存在可用于更复杂的安全协议和系统的稳定的安全原语。然而，这并不是故事的结局。安全系统的日益复杂导致需要新的建模、验证和测试工具。特别是，系统或协议中使用的构建块的安全性并不能保证最终产品的安全性。我们正在开发有助于验证复杂系统和协议安全性的技术。