@conference {273, title = {Time-Dependent Analysis of Attacks}, booktitle = {Principles of Security and Trust - Third International Conference, {POST} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings}, year = {2014}, doi = {10.1007/978-3-642-54792-8_16}, url = {http://dx.doi.org/10.1007/978-3-642-54792-8_16}, author = {Florian Arnold and Holger Hermanns and Reza Pulungan and Mari{\"e}lle Stoelinga} }