Stale-safe security properties for group-based secure information sharing