Jihène Krichène, Mohamed Hamdi, Noureddine Boudriga. Security policy validation using temporal executable specifications. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007. pages 2848-2853, IEEE, 2007. [doi]
Abstract is missing.