The Community for Technology Leaders
2011 15th Panhellenic Conference on Informatics (2011)
Kastoria, Greece
Sept. 30, 2011 to Oct. 2, 2011
ISBN: 978-0-7695-4389-5
pp: 107-111
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.
holistic security, process calculi, categorical logic, distributed systems

N. Rossiter and D. Sisiaridis, "Applying Categorical Logic on a Holistic Security Architecture across Distributed Systems," 2011 15th Panhellenic Conference on Informatics(PCI), Kastoria, Greece, 2011, pp. 107-111.
93 ms
(Ver 3.3 (11022016))