Maschinell unterstützte Analyse eines Sicherheitsprotokolls

Local TagsRelease HistoryDetailsSummary

Maschinell unterstützte Analyse eines Sicherheitsprotokolls

Bastuck, A. (2006). Maschinell unterstützte Analyse eines Sicherheitsprotokolls. Diploma Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-24D4-E Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACD4-2

Genre: Thesis

show

show

hide

Creators:
Bastuck, Andrea¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

show

show

hide

Language(s): deu - German

Dates: Accepted: 2006Date issued: 2006

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 521700
Other: Local-ID: C125716C0050FB51-3477917124330404C125726C005278ED-Bastuck2006

Degree: Diploma

show

show

show

show