M. Branstad Homayoon Tajalli F. Mayer D. Dalva Access Mediation in a Message Passing Kernel. 66-72 1989 IEEE Symposium on Security and Privacy db/conf/sp/sp1989.html#BranstadTMD89