System modeling and risk analysis using AADL for critical infrastructure security

摘要

In this work, we present Model Acquisition and Maintenance Tool (MAMAT) for modeling and risk analysis of large-scale ICT systems. It was developed as part of ADAX research project and applied to electronic payment infrastructure for case studies. We also describe the R&D results and lessons learned during this research effort.