Formalizing swarm security Authors Martin Strand Abstract In paper pdf Published 2022-01-24 Issue No. 3 (2021): NISK Norsk informasjonssikkerhetskonferanse Section Regular papers