Aniketos-SSVV (Aniketos Security Service Validation and Verification) stellt eine Reihe von Modulen bereit, die die Sicherheitseigenschaften eines Web-Dienstes validieren. (non)