Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    An Environment for the Specification and Verification of Time-Dependent Security Protocols


    Contributors:


    Publication date :

    2009-01-01


    Size :

    10 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    004.16



    General Environmental Verification Specification

    J. S. Milne / D. S. Kaufman | NTIS | 2003


    General Environmental Verification Specification

    Milne, J. Scott, Jr. / Kaufman, Daniel S. | NTRS | 2003


    SpaceSecLab: A modular environment for prototyping space-link security protocols

    Fischer, Daniel / Spada, Mariella / Koisser, David | AIAA | 2016


    Airworthiness security process specification

    European Organisation for Civil Aviation Equipment | TIBKAT | 2014


    Specification and Automated Verification of Real-Time Behaviour - A Case Study

    Kristensen, C. H. / Andersen, J. H. / Skou, A. et al. | British Library Conference Proceedings | 1995