劳伦斯·C·鲍尔森。 SET持卡人登记：保密证明（扩展摘要）。 （英语） Zbl 0988.68739号 Goré，Rajeev（编辑）等人，《自动推理》。第一届国际联合会议，2001年6月18日至22日，意大利锡耶纳，IJCAR 2001。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2083, 5-12 (2001). 关于整个系列，请参见[兹比尔0968.00052]. MSC公司： 68单位99 计算方法和应用 68个M12 网络协议 94A60型 密码学 软件：水龙头;卡斯珀 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson}，莱克特。注释计算。科学。2083年5月12日（2001年；Zbl 0988.68739） 全文： 链接