noninterference

• morticing
• untwisting
• initialising
• unobjectionable
• Jensen
• vs