• search hit 36 of 66
Back to Result List

ASN1-light: a verified message encoding for security protocols

Download full text files

  • 58528.pdfeng
    (318KB)

    Postprint. © 2007 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Holger Grandy, Robert Bertossi, Kurt StenzelGND, Wolfgang ReifORCiDGND
URN:urn:nbn:de:bvb:384-opus4-585280
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/58528
ISBN:0769528848OPAC
ISBN:9780769528847OPAC
Parent Title (English):Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, UK
Publisher:IEEE
Place of publication:Piscataway, NJ
Editor:Mike Hinchey, Tiziana Margaria
Type:Conference Proceeding
Language:English
Year of first Publication:2007
Publishing Institution:Universität Augsburg
Release Date:2019/07/19
First Page:195
Last Page:204
DOI:https://doi.org/10.1109/sefm.2007.8
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht