Double-keyed caching: Browser cache partitioning