×

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

通过抽象解释进行信息泄漏分析。 (英语) Zbl 1298.68067号

乔纳·伊万娜(编辑)等,《SOFSEM 2011:计算机科学的理论与实践》。第37届计算机科学理论与实践当前趋势会议,2011年1月22日至28日,斯洛伐克,11月斯莫科维奇。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18380-5/pbk)。计算机科学课堂讲稿6543545-557(2011)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

异步顺序进程的安全信息流。 (英语) Zbl 1277.68159号

Michael Backes(编辑)等人,《安全与并发国际研讨会论文集》(SecCo 2005),美国加利福尼亚州旧金山,2005年8月22日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》180,第1期,17-34(2007)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段