参考文献/References:
[1] Heckel R, Mariani L. Automatic conformance testing of web services[J]. FASE, 2005, 3442: 34-48.
[2] 冯登国, 范红. 安全协议形式化分析理论与方法研究综述[J]. 中国科学院研究生院学报, 2003, 20(4): 389-406.
Feng Dengguo, Fan Hong. Survey on theories and methods of formal analyses for security protocols [J]. Journal of the Graduate School of the Chinese Academy of Sciences, 2003, 20(4): 389-406.(in Chinese)
[3] Chen L, Wang W. An improved NSSK protocol and its security analysis based on logic approach [C]//International Conference on Communications, Circuits and Systems. Xiamen, China, 2008: 772-775.
[4] Lecroq T. Fast exact string matching algorithms [J]. Information Processing Letters, 2007, 102(6): 229-235.
[5] Cook S A. The complexity of theorem-proving procedures [C]//Third Annual ACM Symposium on Theory of Computing. New York, USA, 1971: 151-158.
[6] Sunday D M. A very fast substring search algorithm [J]. Communications of the ACM, 1990, 33(8): 132-142.
[7] Cho S, Na J C, Park K, et al. Fast order-preserving pattern matching [J]. Combinatorial Optimization and Applications, 2013, 8287: 295-305.
[8] Rytter W. On maximal suffixes and constant-space linear-time versions of KMP algorithm [J]. Theoretical Computer Science, 2003, 299(1/2/3): 763-774.
[9] 毕智超. 字符串模式匹配算法的研究及改进 [J]. 电子测试, 2013(20): 64-65.
Bi Zhichao. The research of improved matching algorithm of string pattern [J]. Electronic Test, 2013(20): 64-65.(in Chinese)
[10] Fu Y, Kone O. Security and robustness by protocol testing [J]. IEEE Systems Journal, 2014, 8(3): 699-707.
相似文献/References:
[1]袁浩,薛澄歧,卢章平.工业产品数字化模型的检索方法[J].东南大学学报(自然科学版),2006,36(3):397.[doi:10.3969/j.issn.1001-0505.2006.03.013]
Yuan Hao,Xue Chengqi,Lu Zhangping.Digital model retrieval for industrial products[J].Journal of Southeast University (Natural Science Edition),2006,36(6):397.[doi:10.3969/j.issn.1001-0505.2006.03.013]
[2]刘春林,何建敏.神经网络用于模式识别分类的改进算法[J].东南大学学报(自然科学版),1999,29(1):20.[doi:10.3969/j.issn.1001-0505.1999.01.004]
Liu Chunlin,He jianmin.An Improved ANN Algorithm for Pattern Recognition[J].Journal of Southeast University (Natural Science Edition),1999,29(6):20.[doi:10.3969/j.issn.1001-0505.1999.01.004]
[3]程力,蔡体菁.基于模式识别神经网络的重力匹配算法[J].东南大学学报(自然科学版),2007,37(5):839.[doi:10.3969/j.issn.1001-0505.2007.05.020]
Cheng Li,Cai Tijing.Gravity matching algorithm based on pattern recognition neural network[J].Journal of Southeast University (Natural Science Edition),2007,37(6):839.[doi:10.3969/j.issn.1001-0505.2007.05.020]
[4]金世俊,黄惟一.基于多元统计分析的触觉图象模式识别[J].东南大学学报(自然科学版),1996,26(5):95.[doi:10.3969/j.issn.1001-0505.1996.05.018]
Jin Shijun,Huang Weiyi.Tactile Image Pattern Recognition Based on Multivariate Statistical Analysis[J].Journal of Southeast University (Natural Science Edition),1996,26(6):95.[doi:10.3969/j.issn.1001-0505.1996.05.018]