2011 15th 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
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.