MASTER is an EU FP7 Integrated Project researching methods and tools for managing assurance, security and trust in services. Lero's role in the project is the development of verification and validation tools that form an integral part of the design-time workbench. Lero has developed the underlying formalism for the project. This formalism is an extension of the π-calculus to include probabilistic choice and timed events. Using this formalism Lero researchers are developing a suite of verification and validation tools that include a static analysis tool, a translator to the PRISM model checker and a simulator.

• Start Date: 01 February 2008
• Duration: 36 months
• Total Cost: 15.03 million €
• Total EC Funding: 9.3 million €
• Funding Scheme: FP7-ICT Integrated project
• Research Area: 1.4. Secure, dependable and trusted infrastructures

Project Innovation

MASTER helps translate business level challenges to high-level challenges:

• Decision Support to transform and aggregate lower level and scattered security information on a complex web of services to a level that is amenable to board room action based on concrete information, based on key security indicators.
• A trusted Monitoring Infrastructure of the business SOA and outsourced infrastructure to provide the real-time information on the actual security status of the system at different level of granularity.
• An Infrastructure for Enforcement of the security and trust decisions from the board level down to the real-time actions needed by preventive and reacting control.

Project Impact

• For Business Ecosystems and technology providers:
  • Enabling control of the challenges emerging with the complexity issues of balancing security compliance and business process agility
• For Auditors and Consultants:
  • Means to evaluate security compliance status of business
• For Businesses:
  • Contributes to increasing the trustworthiness of a business
  • Opens a new dimension of efficiency and effectiveness of compliance effort
  • Significant enhancement of business relation maintenance | Mastering compliance enforcement
• For Europe:
  • Leading role of Europe in the worldwide market by putting forward the solution of MASTER with the weight of the European Commission and multiple European organizations behind.