Foundational studies in privacy and security

隐私和安全的基础研究

• 批准号: 138744-2011
• 负责人: Kapron, Bruce
• 金额: $ 1.75万
• 依托单位: University of Victoria
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=522471
• 关键词: Foundational; studies; 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, research 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 schemes and protocols. However, this is not the end of the story. The increasing complexity 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 does not guarantee security in the end product. It remains a major challenge to develope tools and techniques for the formal validation of security of complex systems which use secure cryptographic primitives. The development of such tools and techniques is a major focus of our research programme.

对计算机和通信系统安全的需求从未像现在这样强烈。网络环境中发生的计算量的增加使系统面临严重的安全威胁。幸运的是，在过去的三十年里，对安全和密码学的研究已经导致了复杂的技术和工具，这些技术和工具可以用于保护系统。在许多情况下，存在稳定的安全原语，其可用于更复杂的安全方案和协议。然而，这并不是故事的结束。安全系统日益复杂，需要新的建模、验证和测试工具。特别是，系统中使用的构建块的安全性并不能保证最终产品的安全性。开发用于形式化验证使用安全密码原语的复杂系统的安全性的工具和技术仍然是一个主要的挑战。开发这些工具和技术是我们研究方案的一个主要重点。