@inproceedings{FL-MOD-16,
  author = {F. {LUGOU} and L. W. {Li} and L. {Apvrille} and R. {Ameur-Boulifa}},
  title = {SysML Models and Model Transformation for Security},
  booktitle = {Confer\'ence on Model-Driven Engineering and Software Development (Modelsward'2016)},
  address = {Rome, Italy},
  year = 2016,
  month = feb,
  keywords = {SysML-Sec, Security, Model-driven engineering, Model transformation, ProVerif, TTool},
  annote = {category=inproceedings language=en audience=2 state=toappear project=easi dept=comelec group=easi,labsoc documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=16033 id=16033}
}