Crypto protocol analysis; Diffie-Hellman; Exponentiation; Bilinear pairing; Protocol transformation;
机译:广义几乎循环平稳信号的线性时变变换理论与方法
机译:优化的放射治疗方案可延缓低级胶质硅树脂的恶性转化
机译:Ⅳ组单色胶质苷元单层的有限温度二维结构转化理论
机译:Maude-NPA和等式理论的协议正式分析
机译:在理论和实践上优化稀有变异关联研究。
机译:OS06.6优化的放射治疗方案可延缓低级别胶质瘤的恶性转化
机译:协议分析模块理论组合:maude-Npa的案例研究