How would you design a real-time push notification service that alerts users within one second of a security event?