24 citations · 25 across the 5 of their papers we have counts for
1 paper · 1 filter
Bernd Finkbeiner, Christian Müller, Helmut Seidl +1
We consider the automatic verification of information flow security policies of web-based workflows, such as conference submission systems like EasyChair. Our workflow description…