Formal Verification of Finite State Transactional Security Policy

No ratings

Presented at NSS 2014 by

Rajamanickam N

Nadarajan R

Atilla Elçi

N/A