The paper “Towards Practical Enforcement Theories" authored by Nataliia Bielova, Fabio Massacci and Andrea Micheletti (University of Trento) was presented in the workshop on Automated Reasoning for Security Protocol Analysis taking place in the occasion of the European Joint Conferences on Theory and Practice of Software (ETAPS), the primary European forum for academic and industrial researchers working on topics relating to Software Science.  

In this paper the authors explore a set of policies called iterative properties that revises the notion of good traces in terms of repeated iterations. They start discussing how an enforcement mechanism can actually deal with bad executions (and not just only the good ones).The work drew the attention of the representatives of academia that are engaged in the research of compliance control and formalization and construction of the control processes that ensure compliance in single, multiple trust domains and iterated outsourcing. 

More details on this paper can be found in the section Documents.