@InCollection{zbMATH05535625，作者={Kuijper，Wouter and van de Pol，Jaco}，标题={计算不完全信息安全博弈的最弱策略}，BookTitle={用于系统构建和分析的工具和算法。2009年第15届国际会议，TACAS，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2009，英国约克，2009年3月22日至29日。诉讼}，国际标准图书编号={978-3-642-00767-5}，页码={92--106}，年份={2009}，出版商={柏林：施普林格}，语言={英语}，DOI＝{10.1007/978-3-642-00768-2_10}，关键词={68Q60,91A80}，zbMATH={5535625}，Zbl={1234.68259}}