مقدمه ای بر ابزارهای تحلیل امنیتی سیستم های توزیع شده (Distributed Systems Security Analysis Tools)