共 50 条
- [31] Simple bounded LTL model checking [J]. FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 186 - 200
- [33] SIMPLE PROCEDURES FOR CHECKING RIFAMPIN IN URINE [J]. AMERICAN REVIEW OF RESPIRATORY DISEASE, 1969, 100 (05): : 738 - &
- [34] A SIMPLE TEST IMPROVES CHECKING SATISFIABILITY [J]. JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (1-2): : 99 - 111
- [36] A Simple Password-based Authenticated Key Agreement Protocol [J]. OPTICAL, ELECTRONIC MATERIALS AND APPLICATIONS, PTS 1-2, 2011, 216 : 510 - 513
- [37] Simple and Effective One-time Password Authentication Scheme [J]. 2013 2ND INTERNATIONAL SYMPOSIUM ON INSTRUMENTATION AND MEASUREMENT, SENSOR NETWORK AND AUTOMATION (IMSNA), 2013, : 529 - 531
- [38] Simple password-based encrypted key exchange protocols [J]. TOPICS IN CRYPTOLOGY - CT-RSA 2005, PROCEEDINGS, 2005, 3376 : 191 - 208
- [39] A Simple Balanced Password-Authenticated Key Agreement Protocol [J]. TRUSTCOM 2011: 2011 INTERNATIONAL JOINT CONFERENCE OF IEEE TRUSTCOM-11/IEEE ICESS-11/FCST-11, 2011, : 403 - 408