Kenichi Yajima

According to our database, Kenichi Yajima authored at least 4 papers between 1991 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

GEST: A Generator of ISO/IEC 15408 Security Target Templates.

Daisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto, Jingde Cheng

Proceedings of the Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, 2009

FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408.

Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng

Proceedings of the The Forth International Conference on Availability, 2009

2007

Field Experiment of an Extendable Traceability System: Application to the Quality Control of Beef-Product Distribution.

Nobuo Okabe, Hirokazu Takatama, Kenichi Yajima, Yusuke Doi, Atsushi Inoue

Proceedings of the 2007 International Conference on Intelligent Pervasive Computing, 2007

1991

Optimization of Queries Including ADT Functions.

Kenichi Yajima, Hiroyuki Kitagawa, Kazunori Yamaguchi, Nobuo Ohbo, Yuzuru Fujiwara

Proceedings of the Database Systems for Advanced Applications '91, 1991