Anfonwch hwn fel neges destun: Extending noninterference properties to the timed world