Agozie Eneh

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Authentication Protocol

Security Properties

Top Venues

KSII Trans. Internet Inf. Syst.

Publications

Yoney Kirsal Ever, Agozie Eneh, Orhan Gemikonakli, Leonardo Mostarda
Analysing the Combined Kerberos Timed Authentication Protocol and Frequent Key Renewal Using CSP and Rank Functions. KSII Trans. Internet Inf. Syst. 8 (12) (2014)
Yoney Kirsal Ever, Agozie Eneh, Orhan Gemikonakli, Leonardo Mostarda
Modelling Attacker with Deciding Security Properties by Induction and Deduction. AINA Workshops (2013)