Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Author: Kumar, Rajesh
Home Policy Brochure Browse Search User Area Contact Help


Kumar, Rajesh and Stoelinga, M.I.A. (2017) Quantitative security and safety analysis with attack-fault trees. In: Proceeding of the 18th IEEE International Symposium on High Assurance Systems Engineering, 12-14 Jan 2017, Singapore. IEEE Computer Society.


Fraile, M. and Ford, M. and Gadyatskaya, O. and Kumar, Rajesh and Stoelinga, M.I.A. and Trujillo-Rasua, R. (2016) Using attack-defense trees to analyze threats and countermeasures in an ATM: A case study. In: 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM), 08-10 Nov 2016, Skövde, Sweden. pp. 326-334. Lecture Notes in Business Information Processing 267. Springer. ISBN 978-3-319-48392-4


Arnold, F. and Guck, D. and Kumar, Rajesh and Stoelinga, M.I.A. (2015) Sequential and Parallel Attack Tree Modelling. In: Computer Safety, Reliability, and Security - Proceedings of the SAFECOM 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, 22 September 2015, Delft, The Netherlands. pp. 291-299. Lecture Notes in Computer Science 9338. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-24248-4
Kumar, Rajesh and Guck, D. and Stoelinga, M.I.A. (2015) Time dependent analysis with dynamic counter measure trees. In: Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), 11-12 April 2015, London, England. pp. 1-5. Inria. ISSN not assigned ISBN not assigned
Kumar, Rajesh and Ruijters, E.J.J. and Stoelinga, M.I.A. (2015) Quantitative Attack Tree Analysis via Priced Timed Automata. In: Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015), 2-4 Sept 2015, Madrid, Spain. pp. 156-171. Lecture Notes in Computer Science 9268 . Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-22974-4