Caspa - Mechanized Verification of Security Protocols using Causality-based Abstractions
Stefan Lorenz
|
Bachelor Thesis
Saarland University, 2009.
(
BibTeX
| Links:
)
@bachelorsthesis{lore_09:bachelor,
title = {Caspa - Mechanized Verification of Security Protocols using Causality-based Abstractions},
author = {Stefan Lorenz},
url = {https://www-intern.cispa.uni-saarland.de/wordpress/wp-content/uploads/2016/04/bachelor_lorenz.pdf},
year = {2009},
date = {2009-01-01},
school = {Saarland University},
keywords = {}
}
|