In the first quarter of 2009, there were more than 4 billion subscribers to cellular phone services in the world and this number is constantly growing. with this in mind it should be clear that use of mobile communication has already become both pervasive and ubiquitous. it has become a global commodity really. entity authentication and personal privacy in future cellular systems aims at explaining and examining access security as it is found in mobile/cellular systems. a thorough investigation of how access security and personal privacy is handled in the 3gpp system is conducted. this includes both the 2g systems gsm/gprs and the 3g system umts. the emerging fourth generation lte architecture is also examined. the first part of the book deals exclusively with presenting access security as found in the 3gpp system. particular attention is given to the authentication and key agreement procedures. the 3gpp systems have evolved and the access security architecture in lte is substantially more advanced and mature than what you would find in gsm/gprs, but even the lte security architecture has its limitations. in part two of the book we go on to examine what is missing from the current cellular access security architectures. some of the shortcomings found in gsm/gprs and later umts have been partially addressed in lte, but the burden of backwards compatibility has meant that many issues could not easily be resolved. free from those restrictions, we shall see that one can provide substantially improved subscriber privacy and enhanced entity authentication, while also avoiding the delegated authentication control that all 3gpp systems have. the design of authentication protocols is discussed in depth, and this would also include looking into the role of formal verification in the design of security protocols.