位置：成果数据库 > 期刊 > 期刊详情页
Distinguishing and relating higher-order and first-order processes by expressiveness
  • ISSN号：0001-5903
  • 期刊名称：Acta Informatica
  • 时间：0
  • 页码：445-484
  • 相关项目：网络环境下可证明安全分布式公钥加密体制的研究
作者： Xu Xian|
同期刊论文项目
网络环境下可证明安全分布式公钥加密体制的研究
期刊论文 24 会议论文 3 著作 1
同项目期刊论文
Identity-based key-insulated proxy signature without random oracles
Restrictive partially blind signature for resource-constrained information systems
基于细粒度新鲜性的密码协议分析
An Adaptive Key Management Framework for the Wireless Mesh and Sensor Networks
An Efficient Threshold Key-Insulated Signature Scheme
New Constructions of Dynamic Threshold Cryptosystem
Distributed Certificateless Key Encapsulation Mechanism Secure Against the Adaptive Adversary
Practical Certificateless Aggregate Signatures from Bilinear Maps
基于TPM的强身份认证
Identity-Based Threshold Key-Insulated Signature
密文策略的属性基并行密钥隔离加密
基于TPM的强身份认证协议研究
两个降低PKG信任级的基于身份的门限密码体制
Towards accountable authority attribute-based encryption
Attribute-Based Signature on Lattices