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 (ARES, 2009)