[Om-announce] Call for abstracts: ISoLA 2010, Track on Model-based Testing for Security

[Markus Roggenbach]

Dear colleague,

I would like to draw your attention to the ISoLA 2010 special track on

   Model-based Testing for Security

which invites contributions (first in the form of abstracts) that
address questions such as

. Specification of security requirements and features
. Modelling of threats and attacks in interactive systems
. Integration of security models and functional models
. Algorithms for the automated generation of security tests
. Evaluation of the effectiveness of security test suites
. Reports on applications and case studies

Position papers and preliminary reports are as welcome as are
elaborated research results. Moreover, papers describing industrial
problem statements and innovative approaches are highly appreciated.

Deadline of abstract (0.5 - 2 pages) submission: 11.6.2010
Notification:                                    21.6.2010

ISoLA will take place 18-20 October 2010 at Amirandes, Heraclion,
Crete.

All accepted papers will be published in the Symposiums' Proceedings
by Springer.

With kind regards,

   Holger Schlingloff,
     Humboldt University, Berlin, Germany
     Fraunhofer FIRST, Berlin, Germany

   Markus Roggenbach,
     Swansea University, Wales, UK
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20100513/1f4bc1b3/attachment-0001.htm 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ISoLA2010_MBT4Sec_CfP.pdf
Type: application/pdf
Size: 208560 bytes
Desc: not available
Url : http://openmath.org/pipermail/om-announce/attachments/20100513/1f4bc1b3/attachment-0001.pdf