Tool-unterstützte Überprüfung der Einhaltung von Sicherheitsrichtlinien bei drahtlos (spontan) vernetzten mobilen Endgeräten