Graduate School and Research Center in Digital Sciences

SysML-Sec: Capturing and formally proving safety and security properties

Apvrille, Ludovic; Roudier, Yves; Tanzi, Tullio J; Guarnieri, Franck

Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", March 2014, Paris, France

Hal Bibtex

Title:SysML-Sec: Capturing and formally proving safety and security properties
Type:Poster / Demo
Language:English
City:Paris
Country:FRANCE
Date:
Department:Digital Security
Eurecom ref:6018
Copyright: © EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", March 2014, Paris, France and is available at :
Bibtex: @poster / demo{EURECOM+6018, year = {2014}, title = {{S}ys{ML}-{S}ec: {C}apturing and formally proving safety and security properties}, author = {{A}pvrille, {L}udovic and {R}oudier, {Y}ves and {T}anzi, {T}ullio {J} and {G}uarnieri, {F}ranck}, number = {EURECOM+6018}, month = {03}, institution = {Eurecom} address = {{P}aris, {FRANCE}}, url = {http://www.eurecom.fr/publication/6018} }
See also: