论安全属性的可防御性
密码学与安全
2014-04-04 v1 计算机科学与博弈论
摘要
我们在考虑参与者激励的情况下研究交互协议的安全性。我们首先根据理性概念和参与代理的效用形式化定义协议的正确性。在此基础上，我们提出了在精确激励未知时如何评估安全性。随后，安全级别可以定义为防御者集合，即只要支持该安全属性就能有效“防御”该属性的参与者集合。我们展示了纳什均衡下可防御协议的一些理论特征，首先针对双射博弈（博弈论中的标准假设），然后针对具有非单射结果的博弈（更好地对应于交互协议）。最后，我们应用我们的概念分析了 ASW 合同签署协议中的公平性。
引用
@article{arxiv.1404.0836,
title = {On Defendability of Security Properties},
author = {Wojciech Jamroga and Matthijs Melissen and Henning Schnoor},
journal= {arXiv preprint arXiv:1404.0836},
year = {2014}
}
备注
In Proceedings SR 2014, arXiv:1404.0414