Showing 1 - 1 results of 1 for search 'Waldinger, R', query time: 0.02s Refine Results
  1. 1
    Proving Authentication Properties in the Protocol Derivation Assistant

    Proving Authentication Properties in the Protocol Derivation Assistant by Anlauff, M, Pavlovic, D, Waldinger, R, Westfold, S

    Published 2006
    Conference item

Search Tools: