Browsing by Author Juerjens, Jan
Showing results 1 to 3 of 3
Runtime verification of cryptographic protocols
Author(s) | Bauer, Andreas; Juerjens, Jan |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
Security protocols, properties, and their monitoring
Author(s) | Bauer, Andreas; Juerjens, Jan |
---|---|
Type | Conference paper |
Date Published | 2008 |
Date Created | May 10-18 2008 |
Tools for traceable security verification
Author(s) | Juerjens, Jan; Yu, Yijun; Bauer, Andreas |
---|---|
Type | Conference paper |
Date Published | 2008 |
Date Created | September 22-24 2008 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator