A New Approach to Federated Network Security Download pdf Tags: Formal Methods and Language-based Security Networking Wired Networking Wireless Software Systems 1717581 1718036 1718083 SaTC PI Meeting 2019 Project Slides License: CC-2.5 Submitted by Christian Skalka on Wed, 01/08/2020 - 12:10