小林 英恒, Yang Wang, Hidetsune Kobayashi. High Performance Pattern Matching Algorithm for Network Security. ICSNS International Jpurnal of Cmoputer Science and Network Security. 2006. 6. 10. 83-87
小林 英恒, He Cheng, Hidetsune Kobayashi, Hideo Suzuki. Design of a proof information system based on Isabelle. Computer & Information Technology, 2006. 2006. 159. 21-23
KOBAYASHI Hidetsune. High Performance Pattern Matching Algorithm for Network Security. ICSNS International Jpurnal of Cmoputer Science and Network Security. 2006. 6. 10. 83-87