Now showing items 1-3 of 3

  • Analyses of Real Email Traffic Properties 

    Malinka, K.; Hanacek, P.; Cvrcek, D. (Společnost pro radioelektronické inženýrství, 2009-12)
    In this paper, we perform an empirical analysis of email traffic logs obtained from a large university to better understand its impact on the effectiveness and efficiency of anonymous mix remailers. We analyzed data ...
  • A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards 

    Henzl, M.; Hanacek, P. (Společnost pro radioelektronické inženýrství, 2016-04)
    We present a method of contactless smart card protocol modeling suitable for finding vulnerabilities using model checking. Smart cards are used in applications that require high level of security, such as payment applications, ...
  • Simulation and Evaluation of CTP and Secure-CTP Protocols 

    Pecho, P.; Hanacek, P.; Nagy, J. (Společnost pro radioelektronické inženýrství, 2010-04)
    The paper discusses characteristics and qualities of two routing protocols – Collection Tree Protocol and its secure modification. The original protocol, as well as other protocols for wireless sensors, solves only problems ...