Formal Security Definition and Efficient Construction for Roaming with a Privacy-Preserving Extension

摘要

In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages exchanged between them. U may also want to travel anonymous