An Analysis of Universal Information Flow Based on Self-Composition
An Analysis of Universal Information Flow Based on Self-Composition
复制标题
基于自组合的通用信息流分析
DOI：
10.1109/csf.2015.33
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Helmut Seidl
中科院分区：
文献类型：
--
作者：
Christian Müller;Máté Kovács;Helmut Seidl
登录
查看更多内容
DOI：
10.1145/1111037.1111045
发表时间：
2006-01
期刊：
--
影响因子：
--
作者：
Sebastian Hunt;David Sands
通讯作者：
Sebastian Hunt;David Sands
DOI：
10.1007/11547662_24
发表时间：
2005-09
期刊：
--
影响因子：
--
作者：
Tachio Terauchi;A. Aiken
通讯作者：
Tachio Terauchi;A. Aiken
超越2-安全性：用于关系程序验证的非对称产品程序
DOI：
10.1007/978-3-642-35722-0_3
发表时间：
2013
期刊：
The Lancet
影响因子：
--
作者：
G. Barthe;Juan Manuel Crespo;César Kunz
通讯作者：
César Kunz
XML 处理器的过程间信息流分析
DOI：
10.1007/978-3-319-04921-2_4
发表时间：
2014
期刊：
影响因子：
--
作者：
Helmut Seidl;Máté Kovács
通讯作者：
Máté Kovács
DOI：
10.1007/11863908
发表时间：
2006-10
期刊：
--
影响因子：
--
作者：
D. Gollmann;Jan Meier;A. Sabelfeld
通讯作者：
D. Gollmann;Jan Meier;A. Sabelfeld