Jonathan Kok-Keng Loo

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 3

Top Topics

Formal Verification

Protocol Specification

Coloured Petri Nets

Top Venues

Publications

Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Kok-Keng Loo
The Case for Federated Identity Management in 5G Communications. FMEC (2020)
Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Kok-Keng Loo
Network Service Federated Identity (NS- FId) Protocol for Service Authorization in 5G Network. FMEC (2020)
Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Kok-Keng Loo
Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol. SDS (2020)