多方会话中的信息流安全性
密码学与安全
2015-01-07 v1
摘要
我们考虑一种为消息赋予安全级别的多方会话演算。我们为该演算提出了一种受监控的语义，一旦进程试图泄露信息，该语义就会阻塞进程的执行。我们通过各种例子说明了受监控语义的使用，并表明由此导出的安全性蕴含了先前研究过的一种不干涉属性。
引用
@article{arxiv.1108.4465,
title = {Information Flow Safety in Multiparty Sessions},
author = {Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini},
journal= {arXiv preprint arXiv:1108.4465},
year = {2015}
}
备注
In Proceedings EXPRESS 2011, arXiv:1108.4077