A Formal Methods Approach to Security Requirements Specification and Verification

2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)

Year: 2019, Pages: 236-241

Quentin Rouland, IRIT, University of Toulouse
Brahim Hamid, IRIT, University of Toulouse
Jean-Paul Bodeveix, IRIT
Mamoun Filali, IRIT