![](/img/cover-not-exists.png)
[IEEE The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007) - Valencia, Spain (2007.10.14-2007.10.20)] The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007) - Formal Verification of Business Workflows and Role Based Access Control Systems
Dury, Arnaud, Boroday, Sergiy, Petrenko, Alexandre, Lotz, VolkmarYear:
2007
Language:
english
DOI:
10.1109/secureware.2007.4385334
File:
PDF, 220 KB
english, 2007