Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations | IEEE Conference Publication | IEEE Xplore