Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B.

Loc Thierry, Brahim Hamid, Jason Jaskolka

Browse the full MEDI paper archive.