静态可验证进程间通信隔离进程

摘要

此处描述了允许隔离进程(230、240和250)之间的静态可验证进程间通信的操作系统的一个或多个实现。而且，此处描述了促进具有进程间通信的静态可验证隔离进程的开发的编程工具的一个或多个实现。