Security Engineering for Lifelong Evolvable Systems

Publications

Export 7 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: First Letter Of Title is R  [Clear All Filters]
2010
Jürjens, J., A. Bauer, and Y. Yu, "Run-time Security Traceability for Evolving Systems", The Computer Journal: Oxford Univ. Press, 2010.
Bauer, A., and J. Jürjens, "Run-time Verification of Cryptographic Protocols", Journal for Computers & Security, vol. 29, 2010.
2011