In this paper an overview of the project Policy-based Security Tools and Framework (POSITIF) is presented. The project funded by Sixth Framework Programme, and SPIIRAS participates in most of stages. In the scientific part of this document an approach for secured system modelling and security policy verification is proposed. Using ILOG JRules we implemented a domainindependent axiomatics of Event Calculus that can be used in POSITIF framework for security policy and system architecture consistency checking.
Cite as: Kotenko, I., Tishkov, A., Tishkova, M. (2004) The event calculus implementation using ILOG JRules for security Policy verification. Proc. 9th Conference on Speech and Computer (SPECOM 2004), 630-633
@inproceedings{kotenko04_specom,
author={Igor Kotenko and Artem Tishkov and Maria Tishkova},
title={{The event calculus implementation using ILOG JRules for security Policy verification}},
year=2004,
booktitle={Proc. 9th Conference on Speech and Computer (SPECOM 2004)},
pages={630--633}
}