Vol-4197⫷ Vol-4198 ⫸Vol-4199
urn:nbn:de:0074-4198-0


Vol-4198/paper58⫷Vol-4198/paper59⫸Vol-4198/paper60
Cristian CoppoFrancesco LongoGiovanni MerlinoAntonio PuliafitoMarino Miculan

Automatic Verification of Security Properties in Containerized IoT Applications via Bigraphical Modeling