2. SWS 2005: Fairfax, Virginia, USA

Web services

Access control

Invited talk

Formal methods

maintained by Schloss Dagstuhl LZI at University of Trier