On the Verification of Opacity in Web Services and their Composition
Bourouis, Amina, Klai, Kais, Ben Hadj-Alouane, Nejib, El Touati, YamenYear:
2016
Language:
english
Journal:
IEEE Transactions on Services Computing
DOI:
10.1109/TSC.2016.2605090
File:
PDF, 984 KB
english, 2016