The material is composed by extensions of the top 5 papers from the SecSE 2010 workshop along with editorial notes by Per Håkon and Martin.
Other events
This workshop focus on techniques, experiences and lessons learned for engineering secure and dependable software.
SINTEF was the main organiser of this workshop and Martin Gilje Jaatun acted as chair on the day of the workshop.
Per Håkon presented the paper "Security modelling and tool support advantages" related to SHIELDS.
The SecSE workshop was successful, and had one of the highest attendance rates compared to ARES, the main conference, and its associated workshops. There were comments from the audience saying that SecSE’s focused scope on secure software engineering made it interesting, and that they will rather submit contributions to this workshop, than the wider and less focued main conference in the future.
ARES emphasises the interplay between foundations and practical issues of dependability in emerging areas such as e-government, m-government, location-based applications, ubiquitous computing, autonomous computing, chances of grid computing etc.
The paper “Combining misuse cases with attack trees and security activity diagrams” were presented. SHIELDS concepts and the repository were introduced and used to explain how security knowledge can be reused. The focus of the presentation was related to how threat models can be combined and linked to models that shows how security problems can be countered.
ARES brings together researchers and practitioners in the area of dependability and aims at a full and detailed discussion of the research issues of dependability as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications.
The goal of this symposium is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering.
Per Håkon Meland presented the paper “Idea: Reusability of threat models – two approaches with an experimental evaluation” which presents the results from a controlled experiment on misuse case modelling performed by SHIELDS WP5 participants.
About 80 people listened to the presentation, and there were several follow up questions, e.g. on how we measured correctness of the models that were created.
The SERENITY Day will introduce the SERENITY model of secure and dependable systems and will show how it supports the creation of secure and dependable systems for these new computing paradigms. Additionally we will present the SERENITY integrated engineering processes as the backbone of a new security engineering discipline.
This workshop focus on techniques, experiences and lessons learned for engineering secure and dependable software.
SINTEF was the main organiser of this workshop and Lillian Røstad acted as chair on the day of the workshop.
Per Håkon presented the paper “An architectural foundation for security model sharing and reuse” based on SHIELDS D1.1. Co-authors are Shanai Ardi, Jostein Jensen, Erkuden Rios, Txus Sanchez, Nahid Shahmehri and Inger Anne Tøndel from the SHIELDS project.
Compared to other workshops at ARES there were a lot of participants attending this SecSE (30-40 people), and several active discussions.
SecSE has become an important venue for the software security research community.
We considered 15 papers for SecSE 2009 and accepted 10.
ACSAC is an internationally recognised forum where practitioners, researchers, and developers in information system security meet to learn and to exchange practical ideas and experiences. ACSAC focus on practical solutions to real security problems.
Presentation of the SHIELDS approach (Share and Reuse of Security Models) was given at the WiP-session (Work in Progress).
http://www.acsac.org/2008/program/wip/
The feedback on the presentation was good. Established contact with TeliaSonera that may be an interesting partner in future projects.
The event aimed at promoting the MDA approach through tutorial, and speeches taken by international experts and an expo area.
It had speeches from the following speakers: Richard Soley: Chairman and CEO of the Object Management Group (OMG)
Michael Rosen: Director of the Cutter Consortium's Enterprise Architecture Practice
Stephen Mellor: Vice-President of Project Technology Inc. and one of the 'fathers' of MDA
Follow up of OMG MDA activities and scenarios
DS-RT 2008 serves as a forum for simulationists from academia, industry and research labs, for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2008 targets the growing overlap between large distributed simulations and real time applications, such as collaborative virtual environments.
The paper "Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines", by W. Mallouli, A. Mammar and A. R. Cavalli will be presented at the conference. Security concepts presented here are at the basis of the work developed in SHIELDS.
The paper "Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints", by Ana R. Cavalli, Edgardo Montes De Oca, Wissam Mallouli, Mounir Lallali, will be presented at the conference. The tools presented in this paper are part of the work on tools development performed in SHIELDS.
CCS is one of the biggest and most important computer security research conferences. It is the main security-conference of the ACM. Acceptance rate is very low (~10-15%).
Participation – no presentation given.
Participants mostly from academia - some security industry.
Enredando is a divulgative show at Euskadi Digital, a radio station specialised in topical computer related subjects, which tries to bring to the general audience some security related information. The purpose of the presentation is presenting the project to the general audience.
Has published online in a podcast October 20th in http://enredando.euskadigital.com
SHIELDS Project objectives and position were presented and future results summary description was given. All this information was extracted from the Project Brochure and Description of Work.
From Enredando all SHIELDS partners are invited to record another program with them. Even the main language of the radio is in Spanish, an event in English can be held, even by Skype meeting.
Course on how to work in national standardisation committees and be a representative in international committees.
Standards and standardisation work
Practical standardisation work in Norway
Work in international communities: ISO, CEN
Contact and communication tools
Obtaining standards
Participants from many sectors, both mostly IT industry.
TAROT (Training And Research On Testing) is a network created to foster the mobility of students, faculty members and research scientists working in the field of testing of software and communication systems. This summer school brings together lecturers, researchers, students and people from the industry across Europe for one week of presentations, discussions and getting to know each other.
The main goal of the TAROT Summer School is to give researchers and particularly Ph.D. students the opportunity to follow a number of tutorials or invited talks by key experts in the field.
The TAROT Summer School is open to researchers from any institution in the world, working in the area of testing, both from academia and industry.
In this summer school, the formal approach developed by GET to test security rules including timed aspects is presented. Basically, algorithms to integrate timed security rules into an initial functional specification of a system are described. The global formal specification is then used to generate test scenarios to check the conformance of a possible implementation of the underlying system.
MDM 2008 provides a high-quality forum for the presentation of research results on data management issues in the evolving world of mobile, wireless, and pervasive computing.
Per Håkon Meland from SINTEF participated in the Privacy and Security session at this conference.
The discussions here were related to how to protect mobile devices, that by nature are easily stolen and having only weak protection mechanisms.
The goal of this workshop on security testing is to provide a forum for practitioners and researchers to exchange ideas, perspectives on problems, and solutions.
Inger Anne Tøndel presented the paper “Learning from Software Security Testing”, which is based on work done prior to SHIELDS, but showing how SHIELDS has the potential to solve some of the issues not addressed in the work presented in the paper.
A-MOST 08 brought together researchers and practitioners interested in the topic of Model Based Testing (MBT).
The paper "Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations" by A. Cavalli, Eliane Martins and Anderson Morais. The paper presents a previous work to SHIELDS, on the utilisation of a language based on invariants to describe expected properties and check after fault injection if the properties are valid. The invariant language is adapted in SHIELDS to the description of vulnerabilities.
Thesis No. 1353 – Linköping Studies in Science and Technology
The thesis presents a model for secure software development and implementation of a security plug-in that deploys this model in software life cycle. The model is a structured unified process, named S3P (Sustainable Software Security Process) and is designed to be easily adaptable to any software development process. By introducing Vulnerability cause graphs and security activity graphs, S3P provides the formalism required to identify the causes of vulnerabilities and the mitigation techniques that address these causes to prevent vulnerabilities. The thesis also presents a prototype of the security plug-in implemented for the OpenUP/Basic development process in Eclipse Process Framework. SHIELDS shares ideas with presented work in the thesis (security modelling by vulnerability cause graphs and security activity graphs is one of the central ideas in SHIELDS).
The thesis is entitled “A Model and Implementation of a Security Plug-in for the Software Life Cycle” and is submitted to Linköping Institute of Technology at Linköping University in partial fulfilment of the requirements for the degree of Licentiate of Engineering.
ARES emphasises the interplay between foundations and practical issues of dependability in emerging areas such as e-government, m-government, location-based applications, ubiquitous computing, autonomous computing, chances of grid computing etc.
An overview of the SHIELDS concept and project was presented as part of the best paper award session of the conference, following the presentation of a paper on LiUs background, which was given the best paper award.
ACSAC is an internationally recognised forum where practitioners, researchers, and developers in information system security meet to learn and to exchange practical ideas and experiences. ACSAC focus on practical solutions to real security problems.
Presentation of SHIELDS was given at the WiP-session (Work in Progress).
The participation at ACSAC established contact with representatives from the U.S. government initiative "Information Security Automation Program" (ISAP), and representatives from the information security research community at University of Regensburg (Germany).