A Formal Methods Approach to Security Requirements Specification and Verification.

Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali

Browse the full ICECCS paper archive.