D1.3.4 TRESPASS socio-technical security model and specification languages

File: