2. SWS 2005: Fairfax, Virginia, USA

Web services

Access control

Invited talk

Formal methods

a service of Schloss Dagstuhl - Leibniz Center for Informatics