Maschinell unterstützte Analyse eines Sicherheitsprotokolls

アイテム詳細

登録内容を編集ファイル形式で保存

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 公開

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-24D4-E 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-ACD4-2

資料種別: 学位論文

表示:

非表示:

作成者:
Bastuck, Andrea¹, 著者

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

非表示:

言語: deu - German

日付: 受理: 2006出版: 2006

出版の状態: 出版

ページ: -

出版情報: Saarbrücken : Universität des Saarlandes

目次: -

査読: -

識別子（DOI, ISBNなど）: eDoc: 521700
その他: Local-ID: C125716C0050FB51-3477917124330404C125726C005278ED-Bastuck2006

学位: 学士号 (Diploma)