printlogo
ETH Zuerich - Homepage
Information Security
 
print
  

Simone Frau

ETH Zürich
Simone Frau
Informationssicherheit/ZISC
CAB F 58.1
Universitätstrasse 6
8092 Zürich

Phone: +41 44 632 52 17
Fax: +41 44 632 11 72
E-Mail: 

Download the extension of the Millen and Shmatikov's tool for verification of Service Oriented Architectures

Download the verifier for protocols with authorization policies

 

Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.

Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.
More information

© 2011 ETH Zurich | Imprint | Disclaimer | 18 July 2011
top