TU Darmstadt / ULB / TUbiblio

Choosing a Formalism for Secure Coding: FSM vs. LTL

Aderhold, Markus and Gebhardt, Alexander and Mantel, Heiko (2013):
Choosing a Formalism for Secure Coding: FSM vs. LTL.
[Report]

Item Type: Report
Erschienen: 2013
Creators: Aderhold, Markus and Gebhardt, Alexander and Mantel, Heiko
Title: Choosing a Formalism for Secure Coding: FSM vs. LTL
Language: German
Uncontrolled Keywords: Security
Divisions: 20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
20 Department of Computer Science > Databases and Distributed Systems
20 Department of Computer Science > System Security Lab
20 Department of Computer Science
Date Deposited: 31 Dec 2016 09:57
Identification Number: TUD-CS-2013-0180
Export:

Optionen (nur für Redakteure)

View Item View Item