Deliverables
Del1: Organization and security modelling roadmap Del2: Designing Organizations: Towards a Model Del3: An Ontology of the Teleological Dimension in Organizations Del4: Security reasoning analysis and roadmap Del5: Methodology for organization and security analysis Del6: Whole Methodology Specification Del7: Case study description Del8: Methodology evaluation
Publications
Ontology-based modelling of legal concepts. Bottazzi, E.; Lehmann, J. In Proceedings of Approaching the Multilanguage Complexity of European Law: Methodologies in Comparison, Fiesole (FI) Italy, European University Institute, 17 November 2006. From Collective Intentionality to Intentional Collectives: an Ontological Perspective. Bottazzi, E.; Catenacci, C.; Gangemi, A.; Lehmann, J. In Cognitive System Research - Special Issue on Cognition, Joint Action and Collective Intentionality, Vol. 7, Issue 2-3, Pp. 192-208.   Intenzioni Collettive Non Mediate. Bottazzi, E.; Catenacci, C.; Ferrario, R.; Trypuz, R. In Atti de Secondo Convegno dell'Associazione Italiana di Scienze Cognitive. Scienze Cognitive e Robotica, Genova (Italy), 26-27 October, 2006. Pp. 136-138. Eds.: Greco, A.; Penco, C.; Sandini, G.; Zaccaria, R.   Passi Preliminari verso una Dolce ontologia delle organizzazioni. Bottazzi, E.; Ferrario, R. In Networks, Vol. 6, pp. 36-63. Towards an ontology of agency and action: From STIT to OntoSTIT+. Troquard, N.; Trypuz, R.; Vieu, L. Proceedings of the Fourth International Conference FOIS 2006, Baltimore, Maryland (USA), November 9-11 2006. Preliminaries to a DOLCE Ontology of Organizations. Bottazzi, E.; Ferrario, R. to appear in International Journal of Business Process Integration and Management, 2006. A Path to an Ontology of Organizations. Bottazzi, E.; Ferrario, R. in Guizzardi, G., Wagner, G., Proceedings of International EDOC Workshop on Vocabularies, Ontologies and Rules for The Enterprise (VORTE 2005), Center for Telematics and Information Technology, Enschede, The Netherlands, 2005, pp 9-16. From Coalition Logic to STIT. Broersen, J.; Herzig, A.; Troquard, N. In Proceedings of the 3rd Int. Workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Edinburgh Modal Operators with Adaptable Semantics for Multi-agent Systems. Borgo, S. In Proceedings of the 9th Congress of the Italian Association for Artificial Intelligence, Milano (Italy), Sept. 21-23 2005. Quantificational modal logic with sequential Kripke semantics. Borgo, S. in Journal of Applied Non-Classical Logics. Volume 15 - No. 2/2005, pp. 137-188. Speech Acts, Discourse Structure and Public Commitments. Maudet, N.; Muller, P.; Prevot, L. in 9th International Pragmatics Conference, Riva del Garda (Italy), July 10-15th 2005. Using Risk Analysis to Evaluate Design Alternatives. Asnar, Y.; Bryl, V.; Giorgini, P. In Agent-Oriented Software Engineering VII, Post-proceedings (invited paper) LNCS, Springer, in press, 2007 Modelling Security and Trust with Secure Tropos. In Integrating Security and Software Engineering: Advances and Future Vision. Giorgini, P.; Mouratidis, H.; Zannone, N. Chapter VIII. Idea Group, 2006. Security and Trust Requirements Engineering. Giorgini, P.;Massacci, F.; Zannone, N. In Foundations of Security Analysis and Design III - Tutorial Lectures, LNCS 3655, pages 237-272. Springer-Verlag GmbH, 2005. Requirements Engineering for Trust Management: Model, Methodology, and Reasoning. Giorgini, P.; Massacci, F.; Mylopoulos, J.; Zannone, N. The International Journal of Information Security, 5(4):257-274, 2006. Hierarchical Hippocratic Databases with Minimal Disclosure for Virtual Organizations. Massacci, F.; Mylopoulos, J.; Zannone, N. The VLDB Journal, 15(4):370-387, 2006. Using a Security Requirements Engineering Methodology in Practice: the compliance with the Italian Data Protection Legislation. Massacci, F.; Prest, M.'; Zannone, N. Computer Standards & Interfaces, 27(5):445-455, 2005. Evaluating Procedural Alternatives in an e-Voting Domain: Lesson Learned. Bryl, V.; Ferrario, R.; Mattioli, A.; Villafiorita, A. Submitted to CAiSE'07. Ensuring Dependability in Socio-Technical System by Risk Analysis. Asnar, Y.; Giorgini, P. In EDCC-6 Modelling Risk and Identifying Countermeasure in Organizations. Asnar, Y.; Giorgini, P. In First International workshop on Critical Information Infrastructures Security (CRITIS06) LNCS, Springer, Samos, Greece, agosto 30 - settembre 2, 2006. Designing cooperative IS: Exploring and evaluating alternatives. Bryl, V.; Giorgini, P.; Mylopoulos, J. In CoopIS'06, Springer (2006) 533-550. Self-configuring socio-technical systems: Redesign at runtime. Bryl, V.; Giorgini, P. ITSSA, 2(1):31-40, 2006. A Privacy Model to Support Minimal Disclosure in Virtual Organizations. Massacci, F.; Mylopoulos, J.; Zannone, N. In Proceedings of the W3C Workshop on Languages for Privacy Policy Negotiation and Semantics-Driven Enforcement, 2006. Detecting Conflicts of Interest. Giorgini, P.; Massacci, F.; Mylopoulos, J.;Zannone, N. In Proceedings of the 14th IEEE International Requirements Engineering Conference (RE'06). Pages 315-318. IEEE Computer Society Press, 2006. Creating Objects in the Flexible Authorization Framework. Zannone, N.; Jajodia, S.; Wijesekera, D. In Proceedings of the 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec 2006), LNCS 4127, pages 1-14, Springer-Verlag GmbH, 2006. Designing Security Requirements Models through Planning. Bryl, V.; Massacci, F.; Mylopoulos, J., Zannone, N. In Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE'06), LNCS 4001, pages 33-47, Springer-Verlag GmbH, 2006. Maintaining Privacy on Derived Objects. Zannone, N.; Jajodia, S.; Massacci, F.; Wijesekera, D. In Proceedings of Workshop on Privacy in the Electronic Society (WPES'05), pages 10-19. ACM Press, 2005. Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation. Massacci, F.; Mylopoulos, J.; Zannone, N. In Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS 2005), LNCS 3679, pages 438-454, Springer-Verlag GmbH, 2005. Modeling Security Requirements Through Ownership, Permission and Delegation. Giorgini, P.; Massacci, F.; Mylopoulos, J.; Zannone, N. In Proceedings of the 13th IEEE International Requirements Engineering Conference (RE'05), pages 167-176. IEEE Computer Society Press, 2005. ST-Tool: A CASE Tool for Security Requirements Engineering. Giorgini, P.; Massacci, F.; Mylopoulos, J.; Zannone, N. In Proceedings of the 13th IEEE International Requirements Engineering Conference (RE'05), pages 451-452. IEEE Computer Society Press, 2005. Modeling Social and Individual Trust in Requirements Engineering Methodologies. Giorgini, P.; Massacci, F.; Mylopoulos, J.; Zannone, N. In Proceedings of the Third International Conference on Trust Management (iTrust 2005), LNCS 3477, pages 161-176. Springer-Verlag GmbH, 2005. ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements. Giorgini, P.; Massacci, F.; Mylopoulos, J.; Siena, A.; Zannone, N. In Proceedings of the Third International Conference on Trust Management (iTrust 2005), LNCS 3477, pages 415-419. Springer-Verlag GmbH, 2005. From Coalition Logic to STIT. Broersen, J.; Herzig, A.; Troquard, N. In Journal of Logic and Computation, Oxford University Press, V. 16 N. 5, p. 559-578, October 2006. A STIT-extension of ATL. Broersen, J.; Herzig, A.; Troquard, N. In Tenth European Conference on Logics in Artificial Intelligence (JELIA'06), Liverpool, England, UK, Volume 4160, Springer, Lecture Notes in Artificial Intelligence, p. 69-81, September 2006. From Coalition Logic to STIT. Broersen, J.; Herzig, A.; Troquard, N. In Third International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005), Edinburgh, Scotland, Volume 157, Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge (Eds.), Elsevier, Electronic Notes in Theoretical Computer Science 4, p. 23-35, May 2006. Towards a logic of agency and actions with duration. Troquard, N.;, Vieu, L. In European Conference on Artificial Intelligence 2006 (ECAI'06), Riva del Garda, Italy, IOS Press, p. 775-776, August 2006. Knowing How to Play: Uniform Choices in Logics of Agency. Herzig, A.; Troquard, N. In 5th International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS-06), Hakodate, Japan, Gerhard Weiss , Peter Stone (Eds.), ACM Press, p. 209-216, May 2006. Introducing attempt in a modal logic of intentional action. Lorini, E.; Herzig, A.; Castelfranchi, C. In European Conf. on Logic in AI, Liverpool (UK), Michael Fisher, Wiebe van der Hoek (Eds.), Springer-Verlag, LNAI, p. 1-13, 2006. OCC's emotions: a formalization in a BDI logic. Adam, C.; Gaudou, B.; Herzig, A.; Longin, D. In The Twelfth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'06), Varna, Bulgaria,, Jérôme Euzenat, John Domingue (Eds.), Springer, LNAI 4183, p. 24-32, 2006. Group belief and grounding in conversation. Gaudou, B.; Herzig, A.; Longin, D. In Language, Cognition, Interaction, Alain Trognon (Eds.), Presses Universitaires de Nancy, 2006. A New Semantics for the FIPA Agent Communication Language based on Social Attitudes. Gaudou, B.; Herzig, A.; Longin, D.; Nickles, M. In 17th European Conf. on Artificial Intelligence (ECAI 2006), Trento, Italy, IOS Press, p. 245-249, 2006. Epistemic Actions and Ontic Actions: a Unified Logical Framework.. Herzig, A.; Santos De Lima, T. In 2nd International Joint Conference: IBERAMIA-SBIA 2006, Ribeirão Preto, Brazil, Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende (Eds.), Springer-Verlag, Lecture Notes in Artificial Intelligence 4140, p. 409-418, October 2006.
Internal	This Site   All the Web