TAS Publications

@inbook{123ec76c5d9648a1a06b0ac73848a4d5,

title = {Formal Methods for Socio-technical Security: (Formal and Automated Analysis of Security Ceremonies)},

author = {Luca Vigano},

year  = {2022},

date = {2022-01-01},

booktitle = {Coordination Models and Languages (COORDINATION 2022)},

keywords = {Formal Methods, Security},

pubstate = {published},

tppubtype = {inbook}

}