Volume: Vol-4198 ITASEC & SERICS 2026 | Year: 2026

Paper: « paper58 | paper59 | paper60 »

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

• Cristian Coppo
• Francesco Longo
• Giovanni Merlino
• Antonio Puliafito
• Marino Miculan

PDF