39 citations · 101 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 24 cited
Verifying Security Policies in Multi-agent Workflows with Loops
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…
cs.LO2017★ 21 cited
Runtime Verification of Temporal Properties over Out-of-order Data Streams
David Basin, Felix Klaedtke, Eugen Zălinescu
We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messa…