The thesis design the specification of intrusion detection of the privileged program and network communication in the detail by ASL specification.

• 本文用ASL详细的设计了特权程序和网络数据包的入侵检测的规范。