Benign Interaction of Security Domains

Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson. Benign Interaction of Security Domains. In Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe, editors, Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Volume 13066 of Lecture Notes in Computer Science, pages 312-331, Springer, 2021. [doi]

Abstract

Abstract is missing.