From Secure Business Process Modeling to Design-Level Security Verification. Ramadan, Q., Salnitri, M., Strüber, D., Jürjens, J., & Giorgini, P. In MODELS'17: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pages 123–133, 2017. IEEE.
![From Secure Business Process Modeling to Design-Level Security Verification [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @inproceedings{ramadan2017secure,
title={From Secure Business Process Modeling to Design-Level Security Verification},
author={Ramadan, Qusai and Salnitri, Mattia and Str{\"u}ber, Daniel and J{\"u}rjens, Jan and Giorgini, Paolo},
booktitle={MODELS'17: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems},
pages={123--133},
year={2017},
organization={IEEE},
url_Paper = {https://www.danielstrueber.de/publications/RSSJG17.pdf},
keywords = {Model-Driven Engineering, Security and Privacy}
}Downloads: 0
{"_id":"NQWwr4ZLFnkTHdHfg","bibbaseid":"ramadan-salnitri-strber-jrjens-giorgini-fromsecurebusinessprocessmodelingtodesignlevelsecurityverification-2017","author_short":["Ramadan, Q.","Salnitri, M.","Strüber, D.","Jürjens, J.","Giorgini, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"From Secure Business Process Modeling to Design-Level Security Verification","author":[{"propositions":[],"lastnames":["Ramadan"],"firstnames":["Qusai"],"suffixes":[]},{"propositions":[],"lastnames":["Salnitri"],"firstnames":["Mattia"],"suffixes":[]},{"propositions":[],"lastnames":["Strüber"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Jürjens"],"firstnames":["Jan"],"suffixes":[]},{"propositions":[],"lastnames":["Giorgini"],"firstnames":["Paolo"],"suffixes":[]}],"booktitle":"MODELS'17: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems","pages":"123–133","year":"2017","organization":"IEEE","url_paper":"https://www.danielstrueber.de/publications/RSSJG17.pdf","keywords":"Model-Driven Engineering, Security and Privacy","bibtex":"@inproceedings{ramadan2017secure,\r\n title={From Secure Business Process Modeling to Design-Level Security Verification},\r\n author={Ramadan, Qusai and Salnitri, Mattia and Str{\\\"u}ber, Daniel and J{\\\"u}rjens, Jan and Giorgini, Paolo},\r\n booktitle={MODELS'17: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems},\r\n pages={123--133},\r\n year={2017},\r\n organization={IEEE},\r\n url_Paper = {https://www.danielstrueber.de/publications/RSSJG17.pdf},\r\n keywords = {Model-Driven Engineering, Security and Privacy}\r\n}\r\n\r\n\r\n\r\n","author_short":["Ramadan, Q.","Salnitri, M.","Strüber, D.","Jürjens, J.","Giorgini, P."],"key":"ramadan2017secure","id":"ramadan2017secure","bibbaseid":"ramadan-salnitri-strber-jrjens-giorgini-fromsecurebusinessprocessmodelingtodesignlevelsecurityverification-2017","role":"author","urls":{" paper":"https://www.danielstrueber.de/publications/RSSJG17.pdf"},"keyword":["Model-Driven Engineering","Security and Privacy"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"danielstrueber.de/pubs.bib","dataSources":["Ti9buXJL3eTgekkZg","C25PTnmiJjNNeXeDN","LKmzHrHyv7kFJ7AXB"],"keywords":["model-driven engineering","security and privacy"],"search_terms":["secure","business","process","modeling","design","level","security","verification","ramadan","salnitri","strüber","jürjens","giorgini"],"title":"From Secure Business Process Modeling to Design-Level Security Verification","year":2017,"downloads":1}