Applying Categorical Logic on a Holistic Security Architecture across Distributed Systems
Dimitrios Sisiaridis, Nick Rossiter · 2011
Current security approaches on handling security across distributed information systems are characterized by their locality. We propose the development of a new architecture for organizing in a holistic way the protection measures needed to be taken in a distributed system based on categorical logic.