An Assurance Framework for Secure Cyber-Physical Systems Download pdf Tags: formal methods security systems engineering MIT CPS Domains CPS Technologies Architectures Foundations Architectures Modeling 2014 2014 CPS-ECP Publications Position Paper Academia CFP Paper Submissions CFP Submissions License: CC-2.5 Submitted by Eunsuk Kang on Wed, 02/12/2014 - 14:59