Showing 1 - 3 results of 3 for search 'P. Hanacek', query time: 0.03s Refine Results
  1. 1
    A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards
    by M. Henzl, P. Hanacek
    Published 2016-04-01
    Get full text
    Article
  2. 2
    Simulation and Evaluation of CTP and Secure-CTP Protocols
    by P. Pecho, P. Hanacek, J. Nagy
    Published 2010-04-01
    Get full text
    Article
  3. 3
    Analyses of Real Email Traffic Properties
    by K. Malinka, P. Hanacek, D. Cvrcek
    Published 2009-12-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search