# Verifying Security Properties in Unbounded Multiagent Systems

> Research article (Spiral (Imperial College London), 2016) · cited 15× · AI/ML

**Wikidata**: [openalex:W2474505510](https://www.wikidata.org/wiki/openalex:W2474505510)  
**Source**: https://4ort.xyz/entity/verifying-security-properties-in-unbounded-multiagent-systems