位置：成果数据库 > 期刊 > 期刊详情页
On Bisimulation Theory in Linear Higher-Order Pi-Calculus
  • 期刊名称：Transactions on Petri Nets and Other Models of Con
  • 时间：0
  • 页码：244-274
  • 相关项目：基于通道的高阶进程演算的表达能力的研究
作者： Xian Xu|
同期刊论文项目
基于通道的高阶进程演算的表达能力的研究
期刊论文 23
同项目期刊论文
基于TPM的强身份认证的研究与实现
两个降低PKG信任级的基于身份门限密码体制
策略驱动的可靠嵌入式系统建模及分析方法
Identity-based Key Insulated Proxy Signature without Random Oracles
Identity-based key-insulated proxy signature without random oracles
An Efficient Threshold Key-Insulated Signature Scheme
Process passing calculus, revisited
Identity-Based Threshold Key-Insulated Signature
密文策略的属性基并行密钥隔离加密
基于TPM的强身份认证协议研究
两个降低PKG信任级的基于身份的门限密码体制
Towards accountable authority attribute-based encryption