Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng. A security specification verification technique based on the international standard ISO/IEC 15408. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1802-1803, ACM, 2006. [doi]
Abstract is missing.