×

找到4个文档(结果1-4)

时间自动机组合的另一种定义。 (英语) Zbl 1348.68092号

Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996105-119(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

(几乎)全面优化的黑盒承诺结构可防止选择性开放攻击。 (英语) Zbl 1295.94159号

Ishai,Yuval(编辑),《密码学理论》。2011年3月28日至30日,第八届密码学理论会议,TCC 2011,美国罗得岛州普罗维登斯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19570-9/pbk)。《计算机科学讲义》6597541-558(2011)。
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

主字段