Stem spacio$ (all stems)

2 papers:

CSMR-WCRE-2014-BuchlerHMMGO #model inference #security #testing

Model inference and security testing in the spacios project (MB, KH, PFM, MM, RG, CO), pp. 411–414.

ICST-2013-Vigano #internet

The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services (LV), pp. 497–498.