|
4th SAM Workshop
Final Programme
Security Analysis and Modelling
(update: 02 Oct 2007)
(goto SAM2004 page)
Tuesday, 1st June
| 8:30-9:00 |
Tutorial Registration |
| 9:00-12:00 |
Tutorial on Black Box Security Protocols by
Sjouke Mauw, Cas Cremers |
| 12:00-13:30 |
Lunch (not included in the fees, but all are
invited to the ZamPub, in front of the SITE building) |
| 13:30-17:00 |
Tutorial on Black Box Security Protocols by
Sjouke Mauw, Cas Cremers |
Wednesday, 2nd June
| 8:00-8:20 |
Workshop Registration |
| 8:20-8:30 |
Workshop Opening D. Amyot and A. Williams |
| 8:30-9:30 |
Invited talk: On Model-Driven Software
Engineering Bran Selic, Distinguished Engineer, IBM
Rational Software
Chair: Thomas Weigert, Motorola, USA |
| 9:30-10:00 |
Coffee break and posters |
| 10:00-12:00 |
Session I: SDL and
eODL
Chair: Arve Meisingset, Telenor, Norway
 | Deployment and
Configuration of Distributed Systems, A.
Hoffmann, B. Neubauer |
| eODL and SDL in
combination for components, H. Böhme, J.
Fischer |
| Applying eODL and
SDL-Patterns for Developing Managed Systems,
M. de Cabo, M. Rodríguez |
| SPT - The SDL
Pattern Tool, J. Dorsch, A. Ek, R.
Gotzhein |
|
| 12:00-13:30 |
Lunch (first
floor, SITE Building) |
| 13:30-15:30 |
Session II: Evolution
of Languages
Chair: Reinhard Gotzhein, University of Kaiserslautern,
Germany
| Comparison
between UML 2.0 Interactions and MSC-2000,
Ø. Haugen |
| Data encoding for
SDL in Z.104, R. Reed |
| SDL in a changing
world, E. Sherratt |
| SIMPL-T (SDL
Intended for Management and Planning of Tests)- A
Simple Test Language for SDL Specifications,
Q. Li, R.L. Probert, W. Skelton, Y. Xu |
|
| 15:30-16:00 |
Coffee break and
posters |
| 16:00-17:30 |
Panel Session I:
SDL Evolution / SDL Task Force
Chair: Alan Williams, University of Ottawa, Canada
Paper:
| Back to the
Basics, V.D. Kollias, Q. Li, A. Prinz, W.
Skelton, A. Yiannakoulias, K. Moss |
Participants:
| Keith Moss, Open University, UK |
| Andreas Prinz, Agder University, Norway |
| Edel Sherratt, University of Wales Aberystwyth,
UK |
| William Skelton, SOLINET, Germany |
| Alkis Yiannakoulias, National Technical
University of Athens, Greece |
| Thomas Weigert, Motorola, USA |
|
| 17:30-19:00 |
SDL Forum Society AGM
|
| 20:00-??? |
Informal dinner,
Restaurant Le Café, National Arts Centre |
Thursday, 3rd June
| 8:00-8:30 |
Workshop Registration |
| 8:30-10:00 |
Session III: Requirements and MSC
Chair: Nikolai Mansurov, Klocwork, Canada
| Early validation
of deployments and scheduling constraints of MSC
specifications, F. Khendek, C. Lohr, L.X.
Wang, X.J. Zhang, T. Zheng |
| Scenario
Synthesis from Imprecise Requirements, B.
Mitchell, P. Bristow, R. Thompson |
| Applying
Reduction Techniques to Software Functional
Requirement Specifications, J. Hassine, R.
Dssouli, J. Rilling |
|
| 10:00-10:30 |
Coffee break and posters |
| 10:30-12:00 |
Session IV: Security
Chair: Olivier Dubuisson, France Telecom R&D, France
| Proving a
soundness property for the joint design of ASN.1
and the Basic Encoding Rules, C.
Rinderknecht |
| Checking secrecy
by means of partial order reduction, C.
Cremers, S. Mauw |
| Finding covert
channels in protocols with Message Sequence
Charts: the case of RMTP2, L. Hélouët |
|
12:00-13:15
|
Lunch(first floor, SITE
building) |
| 13:15-14:15 |
Panel Session II: Security Analysis and
Modelling
Chair: Ostap Monkewich, National Capital Institute of
Telecommunications, Canada
Can formal languages and modelling help reduce security
vulnerabilities in the IP world?
Participants:
| Mike Harrop, The Cottingham Group, Canada |
| Sjouke Mauw, Eindhoven University of Technology,
The Netherlands |
| Lawrence Dobranski, Nortel Networks, Canada |
| Ostap Monkewich, National Capital Institute of
Telecommunications, Canada
|
|
| 14:15-14:30 |
Coffee break and posters |
| 14:30-16:00 |
SDL Design Contest Presentations
Chair: William Skelton, SAFIRE-SDL, Germany
Contestants:
| Keith Moss, Open University, UK |
| Alkis Yiannakoulias, National Technical
University of Athens, Greece |
| Christian Webel, University of Kaiserslautern,
Germany |
|
| 17:00-??? |
Conference Banquet: Restaurant L'Orée du
Bois, in the Gatineau Park. |
Friday, 4th June
| 8:00-8:30 |
Workshop Registration |
| 8:30-10:00 |
Session V: SDL and Modelling
Chair: Rick Reed, TSE Ltd., United Kingdom
| A Metamodel for
SDL-2000 in the Context of Metamodeling ULF,
J. Fischer, M. Piefel, M. Scheidgen |
| A Flexible Micro
Protocol Framework, I. Fliege, A. Geraldy,
R. Gotzhein, P. Schaible |
| ICT Convergence:
Modeling Issues, R. Bræk, J. Floch |
|
| 10:00-10:30 |
Coffee break and posters |
| 10:30-12:00 |
Session VI: Experience
Chair: Edel Sherratt, University of Wales Aberystwyth,
United Kingdom
| Dealing with
non-local choice in IEEE 1073.2's Standard for
Remote Control, A.J. Mooij, N. Goga |
| Guidelines for
Using SDL in Product Development, F. Weil,
T. Weigert |
| Testing Wireless
Protocol Conformance Test Cases, P. Jain,
A. Nandan |
|
| 12:00-12:15 |
SDL Design Contest Winners and Workshop Closing |
| 12:15-14:00 |
Lunch(first floor, SITE
building) |
| 14:00-15:00 |
Ad
Hoc SDL Forum Society members meeting |
(goto SAM2004 page)
|
