=Paper=
{{Paper
|id=Vol-4198/paper59
|storemode=property
|title=Automatic Verification of Security Properties in Containerized IoT Applications via Bigraphical Modeling
|pdfUrl=https://ceur-ws.org/Vol-4198/paper59.pdf
|volume=Vol-4198
|authors=Cristian Coppo,Francesco Longo,Giovanni Merlino,Antonio Puliafito,Marino Miculan
}}
==Automatic Verification of Security Properties in Containerized IoT Applications via Bigraphical Modeling==
<pdf width="1500px">https://ceur-ws.org/Vol-4198/paper59.pdf</pdf>
<pre>
None
</pre>