Modeling and Analysis of CC-Based Security Assurance for Composed Systems | IEEE Conference Publication | IEEE Xplore