@inproceedings{ zhang_mining_2012,
  title = {Mining {Protocol} {State} {Machines} by {Interactive} {Grammar} {Inference}},
  doi = {10.1109/ICDMA.2012.125},
  abstract = {Protocol state machine is very essential in network security and implementation fields, however, improper management of software evolution, compounded by changing and imprecise requirements, along with "short time to market" phenomenon, often leads to a lack of up-to-date specifications and they are often characterized by bugs, anomalies and even threads. How to mine the accurate protocol state machine under investigation is still an open problem. We address this problem by using an interactive grammar inference technique as it could generate queries to the protocol implementation in learning process. This paper describes: (1) a flexible method to construct and parse real packet according to the packet format, (2) how to generate packet queries to explore protocol state machine space, (3) applies the QSM technology to mine protocol state machine from network traces. To access the usefulness of our approach, several experiments for different protocols are performed and we could get more objective and accurate results compared with other protocol specification mining methods.},
  booktitle = {Digital {Manufacturing} and {Automation} ({ICDMA}), 2012 {Third} {International} {Conference} on},
  author = {Zhang, Zhao and Wen, Qiao-Yan and Tang, Wen},
  month = {July},
  year = {2012},
  note = {00002 bibtex: 6298571},
  keywords = {Active Learning, Educational institutions, Grammatical Inference, Inference algorithms, Protocol Modeling, Protocol State Machine, QSM technology, Software, Space exploration, Specification Mining, computer network security, data mining, interactive grammar inference, learning process, network security, network traces, packet format, packet queries, protocol specification mining methods, protocol state machines mining, protocols, security, short-time-to-market phenomenon, software evolution management},
  pages = {524--527}
}

{"_id":"HL5E9DqubYvXSafGP","bibbaseid":"zhang-wen-tang-miningprotocolstatemachinesbyinteractivegrammarinference-2012","downloads":0,"creationDate":"2015-04-22T00:15:38.658Z","title":"Mining Protocol State Machines by Interactive Grammar Inference","author_short":["Zhang, Z.","Wen, Q.","Tang, W."],"year":2012,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/ealprr","bibdata":{"abstract":"Protocol state machine is very essential in network security and implementation fields, however, improper management of software evolution, compounded by changing and imprecise requirements, along with \"short time to market\" phenomenon, often leads to a lack of up-to-date specifications and they are often characterized by bugs, anomalies and even threads. How to mine the accurate protocol state machine under investigation is still an open problem. We address this problem by using an interactive grammar inference technique as it could generate queries to the protocol implementation in learning process. This paper describes: (1) a flexible method to construct and parse real packet according to the packet format, (2) how to generate packet queries to explore protocol state machine space, (3) applies the QSM technology to mine protocol state machine from network traces. To access the usefulness of our approach, several experiments for different protocols are performed and we could get more objective and accurate results compared with other protocol specification mining methods.","author":["Zhang, Zhao","Wen, Qiao-Yan","Tang, Wen"],"author_short":["Zhang, Z.","Wen, Q.","Tang, W."],"bibtex":"@inproceedings{ zhang_mining_2012,\n title = {Mining {Protocol} {State} {Machines} by {Interactive} {Grammar} {Inference}},\n doi = {10.1109/ICDMA.2012.125},\n abstract = {Protocol state machine is very essential in network security and implementation fields, however, improper management of software evolution, compounded by changing and imprecise requirements, along with \"short time to market\" phenomenon, often leads to a lack of up-to-date specifications and they are often characterized by bugs, anomalies and even threads. How to mine the accurate protocol state machine under investigation is still an open problem. We address this problem by using an interactive grammar inference technique as it could generate queries to the protocol implementation in learning process. This paper describes: (1) a flexible method to construct and parse real packet according to the packet format, (2) how to generate packet queries to explore protocol state machine space, (3) applies the QSM technology to mine protocol state machine from network traces. To access the usefulness of our approach, several experiments for different protocols are performed and we could get more objective and accurate results compared with other protocol specification mining methods.},\n booktitle = {Digital {Manufacturing} and {Automation} ({ICDMA}), 2012 {Third} {International} {Conference} on},\n author = {Zhang, Zhao and Wen, Qiao-Yan and Tang, Wen},\n month = {July},\n year = {2012},\n note = {00002 bibtex: 6298571},\n keywords = {Active Learning, Educational institutions, Grammatical Inference, Inference algorithms, Protocol Modeling, Protocol State Machine, QSM technology, Software, Space exploration, Specification Mining, computer network security, data mining, interactive grammar inference, learning process, network security, network traces, packet format, packet queries, protocol specification mining methods, protocol state machines mining, protocols, security, short-time-to-market phenomenon, software evolution management},\n pages = {524--527}\n}","bibtype":"inproceedings","booktitle":"Digital Manufacturing and Automation (ICDMA), 2012 Third International Conference on","doi":"10.1109/ICDMA.2012.125","id":"zhang_mining_2012","key":"zhang_mining_2012","keywords":"Active Learning, Educational institutions, Grammatical Inference, Inference algorithms, Protocol Modeling, Protocol State Machine, QSM technology, Software, Space exploration, Specification Mining, computer network security, data mining, interactive grammar inference, learning process, network security, network traces, packet format, packet queries, protocol specification mining methods, protocol state machines mining, protocols, security, short-time-to-market phenomenon, software evolution management","month":"July","note":"00002 bibtex: 6298571","pages":"524--527","title":"Mining Protocol State Machines by Interactive Grammar Inference","type":"inproceedings","year":"2012","bibbaseid":"zhang-wen-tang-miningprotocolstatemachinesbyinteractivegrammarinference-2012","role":"author","urls":{},"keyword":["Active Learning","Educational institutions","Grammatical Inference","Inference algorithms","Protocol Modeling","Protocol State Machine","QSM technology","Software","Space exploration","Specification Mining","computer network security","data mining","interactive grammar inference","learning process","network security","network traces","packet format","packet queries","protocol specification mining methods","protocol state machines mining","protocols","security","short-time-to-market phenomenon","software evolution management"],"downloads":0},"search_terms":["mining","protocol","state","machines","interactive","grammar","inference","zhang","wen","tang"],"keywords":["active learning","educational institutions","grammatical inference","inference algorithms","protocol modeling","protocol state machine","qsm technology","software","space exploration","specification mining","computer network security","data mining","interactive grammar inference","learning process","network security","network traces","packet format","packet queries","protocol specification mining methods","protocol state machines mining","protocols","security","short-time-to-market phenomenon","software evolution management"],"authorIDs":[],"dataSources":["fcy64Zdm28gydMmuE"]}