2012 16th Panhellenic Conference on Informatics (2011)
Sept. 30, 2011 to Oct. 2, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PCI.2011.35
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
Dimitrios Sisiaridis, Nick Rossiter, "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