أرسل هذا في رسالة قصيرة: Extending noninterference properties to the timed world