pdfreaders.org

Integrating Automated and Interactive Protocol Verification

Achim D. Brucker und Sebastian A. Mödersheim

Schlüsselwörter:
Kategorien:
Dokumente:

QR Code for talk:brucker.ea:integrating:2009.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker und 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},
}