A METHOD AND APPARATUS FOR VERIFYING AND ENSURING SAFE HANDLING NOTIFICATIONS

摘要

A method and apparatus for verifying and/or ensuring safe handling of notifications. In one embodiment, the method comprises receiving a notification and handling the notification safely using program code that has a notification handler that has been statically verified to handle the notification according to a notification acceptance policy.