公开(公告)号：CN101297277A

公开(公告)日：2008-10-29

申请号：CN200680040117.6

申请日：2006-10-16

Applicant: 微软公司

Inventor： G·C·亨特 ,  J·R·劳瑞斯 ,  M·阿巴迪 ,  M·埃肯 ,  P·巴罕姆 ,  M·A·范德瑞 ,  C·霍伯利特泽 ,  O·霍德森 ,  S·列维 ,  N·墨菲 ,  B·斯汀斯嘉德 ,  D·泰迪蒂 ,  T·沃伯 ,  B·齐尔

IPC: G06F12/00 ,  G06F13/00

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

公开(公告)号：CN101297277B

公开(公告)日：2012-07-04

申请号：CN200680040117.6

申请日：2006-10-16

Applicant: 微软公司

Inventor： G·C·亨特 ,  J·R·劳瑞斯 ,  M·阿巴迪 ,  M·埃肯 ,  P·巴罕姆 ,  M·A·范德瑞 ,  C·霍伯利特泽 ,  O·霍德森 ,  S·列维 ,  N·墨菲 ,  B·斯汀斯嘉德 ,  D·泰迪蒂 ,  T·沃伯 ,  B·齐尔

IPC: G06F12/00 ,  G06F13/00

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