A security specification verification technique based on the international standard ISO/IEC 15408.

Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng

Browse the full SAC paper archive.