Deep search:Searching for "probabilistic model checking" in 'ABSTRACT and KEYWORDGot 1 item.
index Title
1Fairness analysis of extra-gain guilty of a non-repudiation protocol
Author(s):Xu GUO  Clicked:3817  Download:6845  Cited:0  <Full Text>  <PPT> 447
Frontiers of Information Technology & Electronic Engineering  2022 Vol.23 No.6 P.893-908  DOI:10.1631/FITEE.2100413
Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - 2024 Journal of Zhejiang University-SCIENCE