活动简介

The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. It was created in 1988 as a workshop of the IEEE Computer Society's Technical Committee on Security and Privacy, in response to a 1986 essay by Don Good entitled “The Foundations of Computer Security—We Need Some.” The meeting became a “symposium” in 2007, along with a policy for open, increased attendance. Over the past two decades, many seminal papers and techniques have been presented first at CSF. The program includes papers and panels. Topics of interest include access control, information flow, covert channels, cryptographic protocols, database security, language-based security, authorization and trust, verification techniques, integrity and availability models, and broad discussions concerning the role of formal methods in computer security and the nature of foundational research in this area. See the Call for Papers and Panels for more information.

征稿信息

征稿范围

New theoretical results in computer security are welcome. Possible topics include, but are not limited to: Access control Accountability Anonymity and Privacy Authentication Cryptographic protocols Data and system integrity Database security Data provenan
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    06月26日

    2013

    06月28日

    2013

  • 06月28日 2013

    注册截止日期

主办单位
IEEE Computer Society
联系方式
历届会议
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询