The Community for Technology Leaders
2012 16th 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
Nick Rossiter, Dimitrios Sisiaridis, "Applying Categorical Logic on a Holistic Security Architecture across Distributed Systems", 2012 16th Panhellenic Conference on Informatics, vol. 00, no. , pp. 107-111, 2011, doi:10.1109/PCI.2011.35
101 ms
(Ver 3.3 (11022016))