@InProceedings{ANP16, author={Zaruhi Aslanyan and Flemming Nielson and David Parker}, title={Quantitative Verification and Synthesis of Attack-Defence Scenarios}, booktitle={Proc. 29th IEEE Computer Security Foundations Symposium (CSF'16)}}, year={2016}, editors={}, pages={105-119}, organization={}, publisher={IEEE}, series={}, volume={}, address={}, month={}, note={}, key={} }