Proving computational soundness of the applied pi-calculus without using computable parsing
Proving computational soundness of the applied pi-calculus without using computable parsing
复制标题
在不使用可计算解析的情况下证明所应用的 pi 演算的计算可靠性
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
川本裕輔
中科院分区：
文献类型：
--
作者：
Yusuke Kawamoto;Hideki Sakurada;Masami Hagiya;川本裕輔
环签名的计算合理的符号匿名性
DOI：
--
发表时间：
2008
期刊：
--
影响因子：
--
作者：
Yusuke Kawamoto;Hideki Sakurada;M. Hagiya
通讯作者：
M. Hagiya