@inproceedings{LI-GRAMSEC-17,
  author = {L. W. {Li} and F. {Lugou} and L. {Apvrille}},
  title = {Security Modeling for Embedded System Design},
  booktitle = { Fourth International Workshop on Graphical Models for Security},
  address = { Santa Barbara, CA, USA},
  year = 2017,
  month = aug,
  keywords = {SysML; security; models; verifications},
  annote = {category=inproceedings language=en audience=1 state=published dept=comelec group=easi,labsoc id=17376}
}