@bachelorsthesis{tarr_09:bachelor,
title = {SPI2F - A Prototype Code Generator for Security Protocols},
author = {Thorsten Tarrach},
year = {2009},
date = {2009-01-01},
school = {Saarland University},
keywords = {}
}