Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 2 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is A. Bauer  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
Bauer, A., and J. Jürjens, "Run-time Verification of Cryptographic Protocols", Journal for Computers & Security, vol. 29, 2010.
J
Jürjens, J., A. Bauer, and Y. Yu, "Run-time Security Traceability for Evolving Systems", The Computer Journal: Oxford Univ. Press, 2010.