P. Giorgini

Publications (13)1.51 Total impact

• Source

  Available from: psu.edu

  Article: Improving Web Service Discovery with Usage Data

  A. Birukou, E. Blanzieri, V. D'Andrea, P. Giorgini, N. Kokash
  [show abstract] [hide abstract]
  ABSTRACT: Service-oriented computing and Web services are becoming more popular, enabling organizations to use the Web as a market for selling their own services and consuming existing services from others. Nevertheless, the more services are available, the more difficult it becomes to find the most appropriate service for a specific application. Existing approaches to Web service discovery tend to address different information-processing styles. However, Web services have functional and nonfunctional characteristics that can be difficult to present and control. Service behavior and quality-of-service (QoS) parameters can vary over time, and new services can emerge in certain business areas.
  IEEE Software 12/2007; 24(6):47-54. · 1.51 Impact Factor
• Source

  Available from: Carlo Riccucci

  Conference Proceeding: Secure and Dependable Patterns in Organizations: An Empirical Approach

  Y. Asnar, P. Giorgini, R. Bonato, V. Meduri, C. Riccucci
  [show abstract] [hide abstract]
  ABSTRACT: Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will operate. In this paper, we detail our experience in modeling and analyzing requirements for an industrial case (air traffic management system) using the Secure Tropos framework. Particularly, we focus on modeling and reasoning about trust and risk relations within the organizational structure; we discuss pros and cons of Secure Tropos stemming from our experience and lessons learned which might be general interests for RE methodologies.
  Requirements Engineering Conference, 2007. RE '07. 15th IEEE International; 11/2007
• Source

  Available from: Sameh Abdalla

  Conference Proceeding: Auctions Negotiation for Mobile Rideshare Service

  S. Abdel-Naby, S. Fante, P. Giorgini
  [show abstract] [hide abstract]
  ABSTRACT: Rideshare systems allow a substantial number of people to mutually benefit from using less cars in a specific region. This would rationalize energy consumption, save money, and decrease traffic jams and pollution. However, accessibility issues have prevented these architectures from being widely spread. In this paper, we present an agent-based rideshare system that is accessible via lightweight devices. We use auction mechanism as a method of negotiation among autonomous and proactive agents, by this we aim at accelerating agents' interactions while resolving end-user composite tasks.
  Pervasive Computing and Applications, 2007. ICPCA 2007. 2nd International Conference on; 08/2007
• Source

  Available from: Nicola Zannone

  Conference Proceeding: Detecting Conflicts of Interest

  P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone
  [show abstract] [hide abstract]
  ABSTRACT: System vulnerabilities are often caused by the presence of conflicts within the organization where the system-to-be would eventually operate. In particular, conflicts of interest are very harmful since actors can exploit their positions/roles relative to the system for gaining personal advantage. Capturing and resolving such conflicts is a necessary condition for developing secure information systems. In this paper, we show how conflicts of interest can be formally detected during requirements analysis. This allows system designers to investigate the causes for which conflicts may occur in an organization. Thereby, they can better understand the organizational structure and so provide appropriate countermeasures to resolve or at least mitigate them
  Requirements Engineering, 14th IEEE International Conference; 10/2006
• Source

  Available from: Nicola Zannone

  Chapter: ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements

  P. Giorgini, F. Massacci, J. Mylopoulos, A. Siena, N. Zannone
  [show abstract] [hide abstract]
  ABSTRACT: ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers to draw visual models representing functional, security and trust requirements of systems and, then, to verify formally and automatically their correctness and consistency through different model-checkers.
  05/2005: pages 387-404;
• Article: Data Mining, Decision Support and

  E. Blanzieri, P. Giorgini, P. Massa, S. Recla
  [show abstract] [hide abstract]
  ABSTRACT: During data mining process users and algorithms could take advantage of the experiences other users or algorithms (agents) had. Implicit Culture is the relation between a set and a group of agents such that the elements of the set behave according to the culture of the group.
  08/2001;
• Source

  Available from: ijs.si

  Article: Data Mining, Decision Support and Meta-Learning: towards an Implicit Culture architecture for KDD

  E. Blanzieri, P. Giorgini, P. Massa, S. Recla
  [show abstract] [hide abstract]
  ABSTRACT: . During data mining process users and algorithms could take
  08/2001;
• Article: Implicit Culture for

  E. Blanzieri, P. Giorgini, P. Massa, S. Recla
  [show abstract] [hide abstract]
  ABSTRACT: Implicit Culture is the relation between a set and a group of agents such that the elements of the set behave according to the culture of the group. Earlier work claimed that supporting Implicit Culture phenomena can be useful in both arti cial and human agents. In this paper, we recall the concept of Implicit Culture, present an implementation of a System for Implicit Culture Support (SICS) for multi-agent systems, and show how to use it for supporting agent interaction. We also present the application of the SICS to the eCulture Brokering System, a multi-agent system designed to mediate access to cultural information.
  08/2001;
• Article: Implicit Culture for Multi-agent Interaction Support

  E. Blanzieri, P. Giorgini, P. Massa, S. Recla
  [show abstract] [hide abstract]
  ABSTRACT: . Implicit Culture is the relation between a set and a group of
  08/2001;
• Source

  Available from: psu.edu

  Article: Collaborative Filtering via Implicit Culture Support

  E. Blanzieri, P. Giorgini, P. Massa, S. Recla
  [show abstract] [hide abstract]
  ABSTRACT: . Implicit Culture is the relation existing between a set and a
  12/2000;
• Source

  Available from: Nicola Zannone

  Conference Proceeding: ST-tool: a CASE tool for security requirements engineering

  P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone
  [show abstract] [hide abstract]
  ABSTRACT: Security requirements engineering is emerging as a branch of software engineering, spurred by the realization that security must be dealt with early on during the requirements phase. We propose ST-tool, a CASE tool developed for modeling and analyzing functional and security requirements.
  Requirements Engineering, 2005. Proceedings. 13th IEEE International Conference on;
• Source

  Available from: Nicola Zannone

  Conference Proceeding: Modeling security requirements through ownership, permission and delegation

  P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone
  [show abstract] [hide abstract]
  ABSTRACT: Security requirements engineering is emerging as a branch of software engineering, spurred by the realization that security must be dealt with early on during the requirements phase. Methodologies in this field are challenging, as they must take into account subtle notions such as trust (or lack thereof), delegation, and permission; they must also model entire organizations and not only systems-to-be. In our previous work we introduced Secure Tropos, a formal framework for modeling and analyzing security requirements. Secure Tropos is founded on three main notions: ownership, trust, and delegation. In this paper, we refine Secure Tropos introducing the notions of at-least delegation and trust of execution; also, at-most delegation and trust of permission. We also propose monitoring as a security design pattern intended to overcome the problem of lack of trust between actors. The paper presents a semantic for these notions, and describes an implemented formal reasoning tool based on Datalog.
  Requirements Engineering, 2005. Proceedings. 13th IEEE International Conference on;
• Article: Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT

  P. Giorgini, J. Mylopoulos, L. Penserini, A. Perini, A. Susi