Strand M. Formalizing swarm security. NIKT [Internet]. 2022Jan.24 [cited 2024Dec.4];(3). Available from: https://www.ntnu.no/ojs/index.php/nikt/article/view/5511