Author:
Baliosian Javier,Cavalli Ana
Publisher
Springer International Publishing
Reference9 articles.
1. Baliosian, J., Serrat, J.: Finite state transducers for policy evaluation and conflict resolution. In: Proceedings of the Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2004, pp. 250–259. IEEE (2004)
2. Coma-Brebel, C., Cuppens-Boulahia, N., Cuppens, F., Cavalli, A.R.: Interoperability using O2O contract. In: SITIS 2008: Fourth International Conference on Signal-Image Technology and Internet-Based Dystems, Bali, Indonesia (2008)
3. Lecture Notes in Computer Science;F Cuppens,2006
4. El Maarabani, M., Cavalli, A.: A formal approach for interoperability testing of security rules. In: 2010 Sixth International Conference on Signal-Image Technology and Internet Based Systems, pp. 277–284. IEEE, December 2010.
http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5714563
5. Elrakaiby, Y., Cuppens, F., Cuppens-Boulahia, N.: Formal enforcement and management of obligation policies. Data & Knowledge Engineering 71(1), 127–147 (2012).
http://linkinghub.elsevier.com/retrieve/pii/S0169023X11001248