Integrating Automated and Interactive Protocol Verification
Achim D. Brucker und Sebastian A. Mödersheim
Schlüsselwörter:
Kategorien:
Dokumente:
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) (
)
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}, |