Caine Silva, Sylvain Guérin, Raúl Mazo, Joël Champeau. Contract-based design patterns: a design by contract approach to specify security patterns. In Melanie Volkamer, Christian Wressnegger, editors, ARES 2020: The 15th International Conference on Availability, Reliability and Security, Virtual Event, Ireland, August 25-28, 2020. ACM, 2020. [doi]
Abstract is missing.