Extending BAN logic for reasoning with modern PKI-based protocols

Authors
Publication date
1 January 2008
Publisher
'Institute of Electrical and Electronics Engineers (IEEE)'
Doi

    Abstract

    10.1109/NPC.2008.86Proceedings - 2008 IFIP International Conference on Network and Parallel Computing, NPC 2008190-19

      Similar works

      Full text

      thumbnail-image

      Available Versions

      ScholarBank@NUS

      redirect
      oaioai:scholarbank.nus.edu.sg:106...
      Last time updated on 09/11/2016