Work

Formal Verification of 5GAKA-LCCO Protocol Supporting Forward Secrecy: Through Expanded BAN Logic

Year: 2024

Type: conference-paper

Source: Communications in computer and information science

DOI: 10.1007/978-981-97-4465-7_2

Authors: Gunwoo Kim, Yongho Ko, Ilsun You

Institution: Kookmin University

Language: English

Topic: Advanced Authentication Protocols Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4400529033

FWCI: 0.312

Cites: 16

Cited by: 1

Related to: 10