[ Back to Record ]

  1. Bib ID# 36463
    ISBN: 9783540786368
    UPC: 10.1007/978-3-540-78636-8
    Title: Operational Semantics and Verification of Security Protocols
    Author: Cremers, Cas.
    Publication Info:
    Item Type: Language material

[ Back to Record ]