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: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |