Operational semantics and verificati...
Cremers, Cas.{me_controlnum}

Linked to FindBook      Google Book      Amazon      博客來     
  • Operational semantics and verification of security protocols
  • Record Type: Electronic resources : Monograph/item
    Title/Author: Operational semantics and verification of security protocols/ by Cas Cremers, Sjouke Mauw.
    Author: Cremers, Cas.{me_controlnum}
    other author: Mauw, Sjouke.
    Published: Berlin, Heidelberg :Springer Berlin Heidelberg : : 2012.,
    Description: xiii, 172 p. :ill., digital ;24 cm.
    [NT 15003449]: Introduction -- Preliminaries -- Operational Semantics -- Security Properties -- Verification -- Multiprotocol Attacks -- Generalizing NSL for Multiparty Authentication -- Related Work -- Conclusions and Future Work -- Index.
    Contained By: Springer eBooks
    Subject: Computer security. -
    Online resource: http://dx.doi.org/10.1007/978-3-540-78636-8
    ISBN: 9783540786368 (electronic bk.)
Location:  Year:  Volume Number: 
Items
  • 1 records • Pages 1 •
 
W9151597 電子資源 11.線上閱覽_V 電子書 EB QA76.9.A25 C74 2012 一般使用(Normal) On shelf 0
  • 1 records • Pages 1 •
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login