2-3 Nov, 2009
  

Session 1: INFORMATION SYSTEMS SECURITY

Moving from Requirements to Design Confronting Security Issues: A Case Study
Spyros Halkidis, Alexander Chatzigeorgiou, George Stephanides

A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities
Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad Debbabi

Reflecting Local Risk Assessment in LoA
Hiroyuki Sato


Session 2: PRIVACY AND AUTHENTICATION

A Secure Mobile-based Authentication System for e-Banking
Helena Rifà-Pous

Client-Server Password Recovery
Lukasz Chmielewski, Jaap-Henk Hoepman, Peter van Rossum

Enhancing of a Password-Based Authentication Scheme Using Smart Cards (short paper)
Youngsook Lee, Dongho Won

Session 3: SECURITY POLICIES AND VERIFICATION

Model-Driven Configuration of SELinux Policies
Berthold Agreiter, Ruth Breu

Specifying and Constructing Usage Control Policy with Coloured Petri Nets (short paper)
Basel Katt, Xinwen Zhang, Michael Hafner

Verification of CERT Secure Coding Rules: Case Studies
Syrine Tlili, XiaoChun Yang, Rachid Hadjidj, Mourad Debbabi

  
POSTERS

Discontinuity of SVD Embedding Mapping Used for Watermarks
Kazuo Ohzeki, Yuki Seo, Engyoku Gi

Virtualization Efficacy for Network Intrusion Detection Systems in High Speed Environment
Monis Akhlaq, Faeiz Alserhani, Irfan U Awan, John Mellor, Andrea J Cullen, Pravin Mirchandanai