首页    期刊浏览 2024年11月26日 星期二
登录注册

文章基本信息

  • 标题:Information Flow Safety in Multiparty Sessions
  • 本地全文:下载
  • 作者:Sara Capecchi ; Ilaria Castellani ; Mariangiola Dezani-Ciancaglini
  • 期刊名称:Electronic Proceedings in Theoretical Computer Science
  • 电子版ISSN:2075-2180
  • 出版年度:2011
  • 卷号:64
  • 页码:16-30
  • DOI:10.4204/EPTCS.64.2
  • 出版社:Open Publishing Association
  • 摘要:We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, which blocks the execution of processes as soon as they attempt to leak information. We illustrate the use of our monitored semantics with various examples, and show that the induced safety property implies a noninterference property studied previously.
国家哲学社会科学文献中心版权所有