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]
@inproceedings{YajimaMHAGC09,
title = {FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408},
author = {Kenichi Yajima and Shoichi Morimoto and Daisuke Horie and Noor Sheila Azreen and Yuichi Goto and Jingde Cheng},
year = {2009},
doi = {10.1109/ARES.2009.74},
url = {http://dx.doi.org/10.1109/ARES.2009.74},
tags = {security},
researchr = {https://researchr.org/publication/YajimaMHAGC09},
cites = {0},
citedby = {0},
pages = {624-629},
booktitle = {Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan},
publisher = {IEEE Computer Society},
}