Home About Us
Forum Society
What's New Join us
     

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. Bhme, J. Fischer
Applying eODL and SDL-Patterns for Developing Managed Systems, M. de Cabo, M. Rodrguez
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. Hlout
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'Ore 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. Brk, 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)

Contact the webmaster with questions or comments about this web site.
Copyright 1997 - 2013 SDL Forum Society

Last update: 01 May 2013 15:34 +0100