共 50 条
- [32] DssP: Efficient Dual-Server Secret Sharing Protocol Based on Password Authentication for Cloud Storage Services IEEE SYSTEMS JOURNAL, 2022, 16 (02): : 2172 - 2182
- [38] On the Verification of Timed Ad Hoc Networks FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2011, 6919 : 256 - +
- [39] TPAL : A timed-probabilistic model for concurrent processes ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 475 - 484