24 citations · 26 across the 9 of their papers we have counts for
1 paper · 2 filters
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…