發送短信: Extending noninterference properties to the timed world