Formal specification of security guidelines for program certification.

Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa

Browse the full TASE paper archive.