Harley Eades III, Jiaming Jiang, Aubrey Bryant. On Linear Logic, Functional Programming, and Attack Trees. In George Cybenko, David J. Pym, Barbara Fila, editors, 5th International Workshop on Graphical Models for Security, held in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC 2018, Oxford, UK, July 8, 2018, Revised Selected Papers. Volume 11086 of Lecture Notes in Computer Science, pages 71-89, Springer, 2018. [doi]
Abstract is missing.