Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems

Thumbnail
Fulltext:
230676.pdf
Size:
604.9Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2020
Author(s)
Arias, J.
Budde, C.E.
Penczek, W.
Petrucci, L.
Sidoruk, T.
Stoelinga, M.I.A.
Publisher
Cham : Springer International Publishing
ISBN
9783030634063
In
Lecture Notes in Computer Science, (2020)Lin, S.-W.; Hou, Z.; Mahony, B. (ed.), Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings, pp. 3-19
ISSN
DOI
Annotation
ICFEM 2020
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/230676   https://hdl.handle.net/2066/230676
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.