The organisation: The University of Trento ranks consistently among the top Italian universities in recent CENSIS surveys. It is also one of the most international universities in Europe, with a large number of joint degrees in all disciplines with counterparts in Austria, France and Germany. It hosts an EU Marie Curié Chair in Networking and Security, and is a co-recipient of an EU approved Erasmus Mundus Masters in Informatics (jointly with the Universities of Aachen and Edinburgh). It has a formalised long-term collaboration with Indian Universities and Research Centres through the ITPAR (India-Trentino) research centre and a large number of PhD and post-doc students from all over the world. Trento will host a Microsoft Research centre and an Italian-Indian research centre on web services. Its Department of Information Technology (DIT) organises an International Doctorate School with about 90 students of whom 50% come from outside the European Union. In the last years the department has raised a number of EU and national research projects and a number of industrial projects.
Relevant skills/experience/technologies: The work of UNITN team is mainly based on the Tropos and Secure Tropos methodologies. A security modelling language was already defined to model and analyse security issues since the early phases of the software development. Different supporting tools and reasoning techniques have been developed and they can be adapted and adopted in the project. Currently the UNITN the team is contributing or is a member in EU networks or projects EU-FET-IP-SECURECHANGE - Security Engineering for lifelong Evolvable Systems and EU-IST-IP-MASTER - Managing Assurance, Security and Trust for Services.
Role in the project: The department will participate as a joint effort of the Software Engineering and Formal Methods, and Distributed Systems research units. Members of these research programs participating in this project have a strong background in security, services, process management, and data analysis and the contribution will be mainly related to the adoption of security engineering techniques design trustworthy systems. The UNITN team proposes a conceptual framework composed of a modelling language and analysis techniques able to model and analyze security vulnerabilities of a system from the business objectives perspective. UNITN will also provide the security-by-contract mechanism in the context of services.
Interest in project results: UNITN is interested in understanding when the adoption or the composition of certain services may raise security issues inside an organisation and eventually to explore possible alternatives (or mitigations) accordingly to the organisational asset. The approach can be used at design time to design trustworthy systems as well as at run-time for the reconfiguration of the system whenever security properties are not anymore satisfied.
Paolo Giorgini is a researcher, leading the Software Engineering and Formal Methods group at the Dep. of Engr. and Comp. Sci. of University of Trento. He has worked on the development of requirements and design languages for agent-based systems, and the application of goal-oriented techniques to software analysis and development. He is one of the founders of Tropos, an agent-oriented software engineering methodology. He is Co-editor in Chief of the International Journal of Agent-Oriented Software Engineering (IJAOSE) and his publication list includes more than 150 refereed journal and conference proceedings papers and eight edited books.
Fabio Massacci received his M.Eng. 1993 and Ph.D. in Computer Science and Engineering at the University of Rome "La Sapienza" in 1998. He worked in Cambridge University, the University of Siena and IRIT Toulouse and the University of Trento, where he chairs the Computing and Telematics Services. In 2001 he received the Intelligenza Artificiale award, a young researcher’s career award from the Italian Association for Artificial Intelligence. He is a member of AAAI, ACM, IEEE Computer society and a chartered engineer. His research interests are in automated reasoning at the crossroads between requirements engineering, computer security and formal methods. Currently he is actively working on industry level security engineering methodologies and is administrative coordinator of SECURECHANGE and the scientific coordinator in MASTER.
Fabiano Dalpiaz is a post-doctoral researcher at the Deparment of Information Engineering and Computer Science, University of Trento. Previously he obtained a Ph.D. from the same university. His main research interests lie in requirements engineering and information systems engineering. Specific research threads include requirements-driven self-adaptive software and requirements modelling languages for secure, trustworthy, and dependable systems.
Stay informed on our latest news!
Only for users who has an user and a password sent by the administrator.