概述

CSF是计算机安全研究人员的年度会议，旨在研究当前的安全理论、为这些理论提供背景的形式模型以及验证安全性的技术。它创建于1988年，是IEEE计算机学会安全和隐私技术委员会的一个研讨会，是对1986年Don Good题为“计算机安全的基础——我们需要一些”的论文的回应。该会议于2007年成为了一个“专题讨论会”，同时还制定了一项开放、增加出席人数的政策。在过去二十年中，许多具有开创性的论文和技术首次在CSF上发表。

该项目包括论文和小组讨论。感兴趣的主题包括访问控制、信息流、隐蔽通道、密码协议、数据库安全、基于语言的安全、授权和信任、验证技术、完整性和可用性模型、，并广泛讨论了形式化方法在计算机安全中的作用以及该领域基础研究的性质。有关更多信息，请参阅文件和面板征集。

有关2014年CSF的详细信息，请访问CSF 2014网站.

文件征集

文件征集

组织

项目委员会