共 50 条
- [1] Design of an Efficient and Provable Secure Key Exchange Protocol for HTTP Cookies [J]. CMC-COMPUTERS MATERIALS & CONTINUA, 2024, 80 (01): : 263 - 280
- [4] Towards a Methodology for Self-Verification [J]. 2017 6TH INTERNATIONAL CONFERENCE ON RELIABILITY, INFOCOM TECHNOLOGIES AND OPTIMIZATION (TRENDS AND FUTURE DIRECTIONS) (ICRITO), 2017, : 11 - 15
- [6] PRAGMATIC SELF-VERIFICATION AND PERFORMATIVES [J]. FOUNDATIONS OF LANGUAGE, 1971, 7 (02): : 300 - &
- [9] Towards self-verification of HOL Light [J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 177 - 191
- [10] Trust and commitment through self-verification [J]. SOCIAL PSYCHOLOGY QUARTERLY, 1999, 62 (04) : 347 - 366