实现形式技术条件所得的经验

前言 本文涉及在实现复杂系统,例如C^3MIS(指挥、控制,通信和管理信息系统)过程所用的形式技术条件的实际现实物,具有保证安全和保密的目的。本文以作者最近几年的经验为基础,在这期间,作者参与了许多保密的—关键的防御计划的实行、设计和鉴定。所表示的观点既来自直接经验,也来自同本领域内许多同事的讨论,但表达的仍是作者个人的观点。