 |
|
||||||||||
Projects
Research projects we are currently involved in include:
Security of Protocols and Web Services
- AVANTSSAR --- Automated Validation of Trust and Security of Service Oriented Architectures
- NESSoS --- Network of Excellence on Engineering Secure Future Internet Software Services and Systems
- SPACIOS --- Secure Provision and Consumption in the Internet of Services
- SPINACH --- Security Protocol Improvement and Adversary Change
- VerSePro --- Verification of Security and Privacy Protocols for Wireless Networks
Formal Methods for Security Engineering
- DEPLOY --- Industrial Deployment of System Engineering Methods
- Model-based Testing of Security Policies
Systems Security
Access and Usage Control
The left menu only lists those projects that are presented on our web pages.
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
!!! Dieses Dokument stammt aus dem ETH Web-Archiv und wird nicht mehr gepflegt !!!
!!! This document is stored in the ETH Web archive and is no longer maintained !!!
!!! This document is stored in the ETH Web archive and is no longer maintained !!!
