Resources for the System Security team in the Distributed Systems Group (GSD) at INESC-ID, Lisbon.
ViewZone Wiki (link)
Deltashaper Wiki (link)
Trubi Wiki (link)