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: English
Title of Book: Mechanizing Mathematical Reasoning
Series Name: LNCS
Volume: 2605
Publisher: Springer Verlag
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 09 Apr 2010 14:10
Additional Information:

mantel.ea:exploiting:2005a

Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item