2. SWS 2005: Fairfax, Virginia, USA

Web services

Access control

Invited talk

Formal methods