Security Contracts a Property-Based Approach to Support Security Patterns.

Sylvain Gurin, Jol Champeau, Salvador Martnez, Ral Mazo

Browse the full ICISSP paper archive.