<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#ffffff">
<big><tt>Dear colleague, <br>
<br>
I would like to draw your attention to the ISoLA 2010 special track on<br>
<br>
Model-based Testing for Security<br>
<br>
which invites contributions (first in the form of abstracts) that<br>
address questions such as<br>
<br>
•  Specification of security requirements and features<br>
•  Modelling of threats and attacks in interactive systems<br>
•  Integration of security models and functional models<br>
•  Algorithms for the automated generation of security tests<br>
•  Evaluation of the effectiveness of security test suites<br>
•  Reports on applications and case studies<br>
<br>
Position papers and preliminary reports are as welcome as are<br>
elaborated research results. Moreover, papers describing industrial<br>
problem statements and innovative approaches are highly appreciated.<br>
<br>
</tt><tt>Deadline of abstract (0.5 - 2 pages) submission: 11.6.2010<br>
Notification: 21.6.2010<br>
<br>
ISoLA will take place 18-20 October 2010 at Amirandes, Heraclion,<br>
Crete.<br>
<br>
All accepted papers will be published in the Symposiums' Proceedings<br>
by Springer.<br>
<br>
With kind regards,<br>
<br>
Holger Schlingloff,<br>
Humboldt University, Berlin, Germany<br>
Fraunhofer FIRST, Berlin, Germany<br>
<br>
Markus Roggenbach,<br>
Swansea University, Wales, UK</tt></big><br>
</body>
</html>