![](/img/cover-not-exists.png)
A SMT-based methodology for monitoring of security-aware workflows
Bertolissi, Clara, Ranise, SilvioVolume:
5
Year:
2014
Language:
english
Journal:
International Journal of Internet Technology and Secured Transactions
DOI:
10.1504/ijitst.2014.065188
File:
PDF, 463 KB
english, 2014