This book presents the mathematical background underlying security modeling in the context of next-generation cryptography. By introducing new mathematical results …