Andrzej Bialas. Validation of the Specification Means Ontology on the Simple Firewall Case. In Hamid R. Arabnia, Kevin Daimi, editors, Proceedings of the 2009 International Conference on Security & Management, SAM 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes. pages 278-284, CSREA Press, 2009.