N. Rajamanickam, R. Nadarajan, Atilla Elçi. Formal Verification of Finite State Transactional Security Policy. In Man Ho Au, Barbara Carminati, C. C. Jay Kuo, editors, Network and System Security - 8th International Conference, NSS 2014, Xi'an, China, October 15-17, 2014, Proceedings. Volume 8792 of Lecture Notes in Computer Science, pages 363-376, Springer, 2014. [doi]
Abstract is missing.