pdfreaders.org

Integrating Automated and Interactive Protocol Verification

by Achim D. Brucker and Sebastian A. Mödersheim

Keywords:
Categories:
Documents:

QR Code for talk:brucker.ea:integrating:2009.Please cite this article as follows:
Achim D. Brucker and Sebastian A. Mödersheim. Integrating Automated and Interactive Protocol Verification. Workshop on Formal Aspects in Security and Trust (FAST 2009), Eindhoven, The Netherlands, 06. nov. 2009.
(BibTeX) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Talk{ talk:brucker.ea:integrating:2009,
address = {Eindhoven, The Netherlands},
author = {Achim D. Brucker and Sebastian A. M{\"o}dersheim},
day = {06},
event = {Workshop on Formal Aspects in Security and Trust (FAST 2009)},
isodate = {2009-11-06},
language = {USenglish},
lecturer = {Achim D. Brucker and Sebastian A. M{\"o}dersheim},
month = {nov},
title = {Integrating Automated and Interactive Protocol Verification},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker.ea-integrating-2009},
year = {2009},
}