TU Darmstadt / ULB / TUbiblio

Exploiting Generic Aspects of Security Models in Formal Developments

Mantel, Heiko and Schairer, Axel (2005):
Exploiting Generic Aspects of Security Models in Formal Developments.
In: Mechanizing Mathematical Reasoning, Springer Verlag, pp. 129--145, [Book Section]

Item Type: Book Section
Erschienen: 2005
Creators: Mantel, Heiko and Schairer, Axel
Title: Exploiting Generic Aspects of Security Models in Formal Developments
Language: ["languages_typename_1" not defined]
Title of Book: Mechanizing Mathematical Reasoning
Series Name: LNCS
Volume: 2605
Publisher: Springer Verlag
ISBN: 3-540-25051-4
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 31 Dec 2016 09:57
Identification Number: mantel.ea:exploiting:2005
Export:

Optionen (nur für Redakteure)

View Item View Item