Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

4 Results for Frau, Simone

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Analysis of Communicating Authorization Policies

Frau, Simone and Torabi Dashti, Mohammad (2012)

Reports Reports

2. Analysis of reachability properties in communicating authorization policies

Frau, Simone (2012)

Doctoral and Habilitation Theses

3. Integrated Specification and Verification of Security Protocols and Policies

Frau, Simone and Torabi Dashti, Mohammad (2010)

Reports Reports

4. Integrated Specification and Verification of Security Protocols and Policies

Frau, Simone and Torabi Dashti, Muhammad (2011)

Reports Reports