首页> 外文OA文献 >Quantitative Analysis of a Probabilistic Non-Repudiation Protocol through Model Checking

【2h】

Quantitative Analysis of a Probabilistic Non-Repudiation Protocol through Model Checking

机译：通过模型检验定量分析概率不可否认协议

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Indranil Saha; Debapriyay Mukhopadhyay;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach [J] . S. Basagiannis, S. Petridou, N. Alexiou, Computers & Security . 2011,第4期

机译：移动环境中经过认证的电子邮件协议的定量分析：一种概率模型检查方法
2. Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service [J] . Xiaohong Li, Jiayi Xu, Guangquan Xu, International journal of software engineering and knowledge engineering . 2016,第4期

机译：Fepchecker：自动模型检查器，用于验证Web服务中安全协议的公平性和不可否认性
3. Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking [J] . Yefei Zhao, Zongyuan Yang, Jinkui Xie, Journal of software . 2010,第7期

机译：基于扩展UML状态图和概率模型检查的系统定量分析
4. Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking (Short Paper) [C] . Indranil Saha, Debapriyay Mukhopadhyay Information systems security . 2009

机译：通过模型检查对概率不可否认协议进行定量分析（简短论文）
5. Quantitative model checking of distributed probabilistic systems [D] . Saha, Ratul. 2017

机译：分布式概率系统的定量模型检查
6. Modeling and analysis of cell membrane systems with probabilistic model checking [O] . Mirlaine A Crepalde, Alessandra C Faria-Campos, Sérgio VA Campos 2011

机译：利用概率模型检查对细胞膜系统进行建模和分析
7. Quantitative Analysis of a Certified E-mail Protocol in Mobile Environments: A Probabilistic Model Checking Approach [O] . S. Basagiannis A, S. Petridou A, N. Alexiou A, 2012

机译：移动环境中认证电子邮件协议的定量分析：一种概率模型检查方法
8. Efficient Analysis of PEPA Model of Non-Repudiation Protocols [R] . Zhao, Y., Thomas, N. 2009

机译：pEpa不可否认协议模型的有效性分析

Quantitative Analysis of a Probabilistic Non-Repudiation Protocol through Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅