A Proof Calculus for Attack Trees in Isabelle

First Author: Kammüller F

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