Travelled to:1 × USA
Collaborated with:∅ H.Jakub
Talks about:protocol (3) approach (2) authent (2) design (2) knowledg (1) function (1) composit (1) analysi (1) scyter (1) primit (1)
Person: Ocenásek Pavel
DBLP: Pavel:Ocen=aacute=sek
Contributed to:
2011Wrote 3 papers:
- HIMI-v1-2011-Pavel #analysis #authentication #case study #protocol
- Analysis of Authentication Protocols with Scyter: Case Study (OP), pp. 359–365.
- HIMI-v1-2011-Pavel11a #approach #composition #design #protocol #security
- An Approach for Security Protocol Design Based on Zero-Knowledge Primitives Composition (OP), pp. 374–378.
- HIMI-v1-2011-PavelJ #approach #authentication #design #logic #protocol
- Routing Functionality in the Logic Approach for Authentication Protocol Design (OP, HJ), pp. 366–373.