A Proof Calculus for Attack Trees in Isabelle
Attributed to:
SUCCESS -- SecUre aCCESSibility for the internet of things
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-67816-0_1
Publication URI: http://dx.doi.org/10.1007/978-3-319-67816-0_1
Type: Book Chapter
Book Title: Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings (2017)
Page Reference: 3-18
ISSN: 2190-5738