PUBLICATION: SysML-Sec: A model-driven environment for developing secure embedded systems
© INRIA. Personal use of this material is permitted. The definitive version of this paper was published in SAR-SSI 2013, 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, 16-18 Septembre 2013, Mont-de-Marsan, France and is available at :