Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    83 Downloads (Pure)

    Abstract

    The implementation of security protocols is challenging and error-prone. A model-driven development approach allows the automatic generation of an application, from a simpler and abstract model that can be formally verified. Our AnBx compiler is a tool for automatic generation of Java code of security protocols specified in the Alice&Bob notation. In contrast with existing tools, it uses a simpler specification language and computes the consistency checks that agents have to perform on reception of messages. Moreover, the tool applies various optimization strategies to achieve efficiency both at compile and run time.
    Original languageEnglish
    Title of host publicationProceedings, Security and Trust Management
    EditorsSjouke Mauw, Christian Damsgaard Jensen
    PublisherSpringer
    Pages204-208
    Number of pages5
    Volume8743
    DOIs
    Publication statusPublished - 2014
    Event10th International Workshop on Security and Trust Management - Wroclaw, Poland
    Duration: 10 Sep 201411 Sep 2014

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer

    Conference

    Conference10th International Workshop on Security and Trust Management
    Abbreviated titleSTM 2014
    Country/TerritoryPoland
    CityWroclaw
    Period10/09/1411/09/14

    Fingerprint

    Dive into the research topics of 'Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx'. Together they form a unique fingerprint.

    Cite this