Certified e-mail delivery; RSA cryptosystem; mobile devices; probabilistic model checking; quantitative analysis;
机译:移动环境中经过认证的电子邮件协议的定量分析:一种概率模型检查方法
机译:通过模型检查对网络协议进行安全性分析:以移动IPv6为例
机译:根据《国际议定书》,对四个自动测量血压的自动装置进行了验证:Pic Indolor个人支票,舒适性支票,我的支票和旅行支票
机译:在移动设备上基于RSA的电子邮件协议的定量模型检查
机译:模型检查顺序一致性和参数化协议。
机译:利用概率模型检验设计和分析DNA链置换设备
机译:移动设备上基于RSA的电子邮件协议的定量模型检查