From Secure Business Process Modeling to Design-Level Security Verification (bibtex)
by
Reference:
From Secure Business Process Modeling to Design-Level Security Verification (), In 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, 2017.
Bibtex Entry:
@InProceedings{DBLP:conf/models/RamadanS0JG17,
  Title                    = {From Secure Business Process Modeling to Design-Level Security Verification},
  Author                   = {Qusai Ramadan and
 Mattia Salnitri and
 Daniel Str{\"{u}}ber and
 Jan J{\"{u}}rjens and
 Paolo Giorgini},
  Booktitle                = {20th {ACM/IEEE} International Conference on Model Driven Engineering
 Languages and Systems, {MODELS} 2017, Austin, TX, USA, September 17-22,
 2017},
  Year                     = {2017},
  Pages                    = {123--133},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/models/RamadanS0JG17},
  Crossref                 = {DBLP:conf/models/2017},
  Doi                      = {10.1109/MODELS.2017.10},
  Timestamp                = {Fri, 01 Dec 2017 22:44:08 +0100},
  Url                      = {https://doi.org/10.1109/MODELS.2017.10}
}
Powered by bibtexbrowser