位置：成果数据库 > 期刊 > 期刊详情页
Provably-secure certificateless key encapsulation mechanism for e-healthcare system
  • 期刊名称：International Journal of Network Security
  • 时间：2015.9
  • 页码：548-557
  • 相关项目：线性时序关系下推理的概率计量化模型
作者： Shi Hui-Xian|Guo Rui|
同期刊论文项目
线性时序关系下推理的概率计量化模型
期刊论文 9
同项目期刊论文
Temporal normal form for Linear Temporal Logic formulae
WBR0-代数的Fuzzy蕴涵理想
Robustness analysis of logic metrics on F(X)
WBR0代数的Fuzzy蕴涵理想
Lattice and metric completions of the classical logic metric space and a comparison
线性时序逻辑基于DTMC的计量化方法