Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version)