安全性を自動で検証