지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수0
1 Introduction 111.1 Background 111.2 Motivation 121.3 Problem statement 141.3.1 Deficiencies in inferred specification 141.3.2 Genericity and Automation 151.3.3 Absence of an objective evaluation method 151.4 Contribution 162 Related Work 192.1 Categories of protocol reverse engineering approaches 192.1.1 Automated or vice versa 192.1.2 Categorization by analysis scheme 202.1.2.1 Application-based method 202.1.2.2 Network-based method 212.2 Existing limitations 232.2.1 Paucity in extracted specification 232.2.1.1 Non-abundance 232.2.1.2 Non-intuitiveness 252.2.1.3 Unclearness and Non-detail 272.2.2 Paucity in genericity and fully automation 282.2.2.1 Design depending particular protocol type 292.2.2.2 Design depending particular network environment 302.2.3 Paucity in objective performance evaluation 323 Contiguous Sequential Pattern (CSP) Algorithm 353.1 Basic Concept of CSP Algorithm 353.2 Hierarchical CSP Algorithm 404 Overall Design of the Well-trimmed Protocol Specification Extraction Method 474.1 Terminology and our field format model 474.2 Overview of the proposed method 494.3 Message assemble 504.4 Syntax inference 534.4.1 SF(v) field format extracting 534.4.2 DF(v) field format extracting 544.4.3 Message format extracting 584.4.4 Additional field format extracting in each message format 594.5 Semantics inference 634.5.1 MSG-TYPE 644.5.2 MSG-Len 664.5.3 Host-ID 674.5.4 Session-ID 684.5.5 Trans-ID 684.5.6 Accumulators 694.6 Behavior inference 705 General Reverse Engineering Approach from the Viewpoint of TCP/IP Reference Model 725.1 Proposed general approach 725.1.1 Key insight 725.1.2 Methodology 735.1.3 Application of the proposed approach 766 Two-pathway Model: General Reverse Engineering Approach regardless of Protocol Type 786.1 Two-pathway model 787 Performance Evaluation Method 827.1 Performance evaluation metrics 827.1.1 Metrics for field format 827.1.1.1 ConcisenessTF 827.1.1.2 ConcisenessEF 837.1.1.3 Correctness 847.1.1.4 Coverage 847.1.2 Metrics for message format 847.1.2.1 CorrectnessEMi 847.1.2.2 CorrectnessTotal 857.1.2.3 CoverageEMi 857.1.2.4 CoverageTotal 867.1.2.5 DetailEMi 877.1.2.6 DetailTotal 877.1.2.7 Compression 887.2 Comprehensive interpretation for intuitive comparison 887.2.1 Priority of metrics interpretation 887.2.2 Comprehensive interpretation 898 Evaluation 918.1 Dataset 918.2 Comparative study of syntax inference 948.2.1 Comparative verification for HTTP and DNS 948.2.2 Result of reverse engineering for HTTP 978.2.3 Result of reverse engineering for DNS 1008.3 Comparative study of semantics inference 1028.4 Genericity verification 1048.4.1 Stand-alone verification 1048.4.2 Genericity verification for protocol layer 1068.4.3 Genericity verification for protocol type 1099 Conclusions and Future Works 112REFERENCE 114ACKNOWLEDGEMENTS 135
0