在策略与机制分离的操作系统中，机制作为系统的可信软件来实现，策略也必须在可信的环境中定义