@inproceedings{silva:hal-02958111, TITLE = {{Contract-based design patterns: a design by contract approach to specify security patterns}}, AUTHOR = {Silva, Caine and Gu{\'e}rin, Sylvain and Mazo, Raul and Champeau, Jo{\"e}l}, URL = {https://ensta-bretagne.hal.science/hal-02958111}, BOOKTITLE = {{15th International Conference on Availibitlity, Reliability ans Security, ARES 2020}}, ADDRESS = {Virtual Event, Ireland}, ORGANIZATION = {{Association for Computing Machinery (ACM)}}, PUBLISHER = {{Association for Computing Machinery (ACM)}}, SERIES = {ACM International Conference Proceeding Series (ICPS Proceedings)}, NUMBER = {66}, PAGES = {1-9}, YEAR = {2020}, MONTH = Aug, DOI = {10.1145/3407023.3409185}, KEYWORDS = {Software security ; Computer programming ; Computer applications}, HAL_ID = {hal-02958111}, HAL_VERSION = {v1}, }