gunkpunk / 4G-5G_ProtocolAnalysis Public

forked from rsjahnige/4G-5G_ProtocolAnalysis

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Formal methods analysis of the 5G Authentication and Key Agreement (AKA) protocol, with comparison to the 4G Evolved Packet System (EPS) AKA protocol using the Cryptographic Protocol Shapes Analyzer (CPSA).

0 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
.scm_files		.scm_files
.xhtml_files		.xhtml_files
5g poster-2.pdf		5g poster-2.pdf
5g poster-finaledit.pdf		5g poster-finaledit.pdf
README.md		README.md

Repository files navigation

Formal Methods Analysis of the 5G AKA Protocol, with Comparison to 4G EPS-AKA

About

Formal methods analysis of the 5G Authentication and Key Agreement (AKA) protocol, with comparison to the 4G Evolved Packet System (EPS) AKA protocol using the Cryptographic Protocol Shapes Analyzer (CPSA).

Report repository

Releases

No releases published

Packages

No packages published

Languages

HTML 95.3%
Scheme 4.7%