Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng. FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. In Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan. pages 624-629, IEEE Computer Society, 2009. [doi]
Abstract is missing.