Formal Verification of Finite State Transactional Security Policy.

N. Rajamanickam, R. Nadarajan, Atilla Eli

Browse the full NSS paper archive.