Kenichi Yajima - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 4 from 4

2009

GEST: A Generator of ISO/IEC 15408 Security Target TemplatesDaisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto, Jingde Cheng. In Roger Y. Lee, Gongzhu Hu, Huaikou Miao, editors, Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, Shanghai, China, June 1-3, 2009]. Volume 208 of Studies in Computational Intelligence, pages 149-158, Springer, 2009. [doi]

FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng. IEEEares 2009: 624-629 [doi]

2007

Field Experiment of an Extendable Traceability System: Application to the Quality Control of Beef-Product DistributionNobuo Okabe, Hirokazu Takatama, Kenichi Yajima, Yusuke Doi, Atsushi Inoue. ipc 2007: 503-508 [doi]

1991

Optimization of Queries Including ADT FunctionsKenichi Yajima, Hiroyuki Kitagawa, Kazunori Yamaguchi, Nobuo Ohbo, Yuzuru Fujiwara. dasfaa 1992: 366-373 [doi]

Sign in or sign up to see more results.

runs on WebDSL