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]

Authors

Flemming Nielson

This author has not been identified. Look up 'Flemming Nielson' in Google

René Rydhof Hansen

This author has not been identified. Look up 'René Rydhof Hansen' in Google

Hanne Riis Nielson

This author has not been identified. Look up 'Hanne Riis Nielson' in Google