共 50 条
- [21] ASN_EZE: An analgesic for writers of ASN.1 applications SOFTWARE-PRACTICE & EXPERIENCE, 1996, 26 (10): : 1087 - 1096
- [22] EFFICIENT ENCODING RULES FOR ASN.1-BASED PROTOCOLS AT&T TECHNICAL JOURNAL, 1994, 73 (03): : 80 - 93
- [23] EASN: Integrating ASN.1 and model checking COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 382 - 386
- [24] ASN.1 application in parsing ISUP PDUs 2006 INTERNATIONAL SYMPOSIUM ON COMMUNICATIONS AND INFORMATION TECHNOLOGIES,VOLS 1-3, 2006, : 946 - +
- [25] AN INTRODUCTION TO THE ASN.1 MACRO REPLACEMENT NOTATION AT&T TECHNICAL JOURNAL, 1994, 73 (03): : 66 - 79
- [26] ASN1-light: A verified message encoding for security Protocols SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 195 - +
- [29] SORTEZ - A RELATIONAL TRANSLATOR FOR NCBIS ASN.1 DATABASE COMPUTER APPLICATIONS IN THE BIOSCIENCES, 1994, 10 (04): : 369 - 378
- [30] ASN1☆: Provably Correct Non-malleable Parsing for ASN.1 DER PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2023, 2023, : 275 - 289