セキュリティを考慮したマルチエージェントの振る舞いの検証に関する時空間論理の研究