Novel security methods for wireless systems

Security is a critical aspect of wireless systems and its importance increases as technology advances. It is crucial that the highest level of security is upheld to ensure the smooth functioning of mobile networks. This thesis should presented an in-depth examination of the cybersecurity methods proposed for wireless systems. Through a comprehensive analysis of available research and technical reports, the properties of security are evaluated in various scenarios. Furthermore, the study should conducted security assessment of security protocols for wireless systems, using the Tamarin prover software. Based on this analysis, potential improvements should be suggested.