Genovese, V. (2012). Modalities for Access Control: Logics, Proof-Theory and Applications [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/15428 |
Benzmuller, C., Gabbay, D. M., Genovese, V., & Rispoli, D. (2012). Embedding and automating conditional logics in classical higher-order logic. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 257-271. doi:10.1007/s10472-012-9320-z Peer reviewed |
Perotti, A., Boella, G., Colombo Tosatto, S., d’Avila Garcez, A. S., Genovese, V., & van der Torre, L. (2012). Learning and Reasoning about Norms using Neural-Symbolic Systems. In International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (pp. 1023-1030). Peer reviewed |
Genovese, V., Giordano, L., Gliozzi, V., & Pozzato, G. L. (2011). A Conditional Constructive Logic for Access Control and Its Sequent Calculus. In Automated Reasoning with Analytic Tableaux and Related Methods (pp. 164–179). Springer. doi:10.1007/978-3-642-22119-4_14 |
Genovese, V., & Garg, D. (2011). New Modalities for Access Control Logics: Permission, Control and Ratification. In Security and Trust Management (pp. 56-71). Berlin, Germany: Springer. doi:10.1007/978-3-642-29963-6_6 |
Barker, S., & Genovese, V. (2011). Secommunity: A Framework for Distributed Access Control. In Logic Programming and Nonmonotonic Reasoning (pp. 297–303). Springer. doi:10.1007/978-3-642-20895-9_34 |
Barker, S., & Genovese, V. (2011). Socially Constructed Trust for Distributed Authorization. In Computer Security – ESORICS 2011 (pp. 262–277). Springer. doi:10.1007/978-3-642-23822-2_15 |
Aucher, G., Barker, S., Boella, G., Genovese, V., & van der Torre, L. (2011). Dynamics in Delegation and Revocation Schemes: A Logical Approach. In DBSec (pp. 90–105). Springer. doi:10.1007/978-3-642-22348-8\_9 Peer reviewed |
Genovese, V., Giordano, L., Gliozzi, V., & Pozzato, G. L. (2010). A constructive conditional logic for access control: a preliminary report. In ECAI 2010 (978-1-60750-605-8, pp. 1073–1074). Amsterdam, Netherlands: IOS Press. doi:10.3233/978-1-60750-606-5-1073 |
Barker, S., & Genovese, V. (2010). A Logic of Privacy. In Data and Applications Security and Privacy XXIV (pp. 17–32). doi:10.1007/978-3-642-13739-6_2 |
Boella, G., Gabbay, D. M., Genovese, V., & van der Torre, L. (2010). Higher-Order Coalition Logic. Bibliothèque(s): Revue de l'Association des Bibliothécaires de France, 555–560. doi:10.3233/978-1-60750-606-5-555 Peer reviewed |
Genovese, V., Rispoli, D., Gabbay, D. M., & van der Torre, L. (2010). Modal Access Control Logic - Axiomatization, Semantics and FOl Theorem Proving. STAIRS 2010, 114-126. doi:10.3233/978-1-60750-676-8-114 Peer reviewed |
Barker, S., Guido, B., Gabbay, D. M., & Genovese, V. (2009). A meta-model of access control in a fibred security language. Studia Logica, 92 (3), 437-477. doi:10.1007/s11225-009-9203-4 Peer reviewed |
Baldoni, M., Boella, G., Genovese, V., Grenna, R., Mugnaini, A., & van der Torre, L. (2009). A Middleware for modeling Organizations and Roles in Jade. Proceedings of PROMAS. doi:10.1007/978-3-642-14843-9_7 Peer reviewed |
Boella, G., Genovese, V., van der Torre, L., & Villata, S. (2009). Checking Consistency in role oriented Dependence Networks. BNAIC 2009: 21th Belgian - Netherlands Conference on Artificial Intelligence, 27 - 34. |
Boella, G., Gabbay, D. M., Genovese, V., & van der Torre, L. (2009). Fibred security language. Studia Logica, 395-436. doi:10.1007/s11225-009-9201-6 |
Baldoni, M., Boella, G., Genovese, V., Grenna, R., & van der Torre, L. (2008). How to Program Organizations and Roles in the JADE Framework. In Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings (pp. 25–36). Springer. doi:10.1007/978-3-540-87805-6_4 Peer reviewed |
Genovese, V., Grenna, R., van der Torre, L., & Baldoni, M. (2008). Adding Organizations and Roles as Primitives to JADE Framework. Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS'08, 95–111. Peer reviewed |
Baldoni, M., Boella, G., Genovese, V., & van der Torre, L. (2007). Roles in Coordination and in Agent Deliberation: A Merger of Concepts. Proceedings of AWESOME07. Peer reviewed |
Boella, G., Genovese, V., Grenna, R., & van der Torre, L. (2007). Merging Roles in Coordination and in Agent Deliberation. In PRIMA. Springer. doi:10.1007/978-3-642-01639-4_6 Peer reviewed |