Published August 17, 2023
| Version v1
Other
Open
CPN model for the 5G-AKA protocol.
Authors/Creators
- 1. UFAPE
- 2. UFAL
- 3. UFCG
Description
Coloured Petri Net model of the 5G-AKA protocol. This model is associated with the study "A Colored Petri Nets Model of the 5G Authentication and Key Agreement Protocol."
Files
Files
(408.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:5f845ffa19a224330393779535ec4586
|
408.9 kB | Download |