Strand, M. Formalizing Swarm Security. NIKT 2022.