On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols (Englisch)
- Neue Suche nach: Backes, M.
- Neue Suche nach: Busenius, A.
- Neue Suche nach: Hritcu, C.
- Neue Suche nach: Backes, M.
- Neue Suche nach: Busenius, A.
- Neue Suche nach: Hritcu, C.
- Neue Suche nach: Goodloe, A.E.
- Neue Suche nach: Person, S.
In:
NASA Formal Methods 4th International Symposium, NFM 2012 Norfolk, VA, USA, April 3-5, 2012 Proceedings
7226
;
371-387
;
2012
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols
-
Beteiligte:Backes, M. ( Autor:in ) / Busenius, A. ( Autor:in ) / Hritcu, C. ( Autor:in ) / Goodloe, A.E. / Person, S.
-
Erschienen in:NASA Formal Methods 4th International Symposium, NFM 2012 Norfolk, VA, USA, April 3-5, 2012 Proceedings , 7226 ; 371-387LECTURE NOTES IN COMPUTER SCIENCE , 7226 ; 371-387
-
Verlag:
- Neue Suche nach: SPRINGER-VERLAG
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:17 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 004
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 004 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.